Treffer: Automated termination analysis of Java bytecode by term rewriting
Titel:
Automated termination analysis of Java bytecode by term rewriting / Carsten Otto ..
Beteiligt:
Veröffentlicht:
Aachen : RWTH, 2010
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (29 S., 349 KB) : graph. Darst.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2010, 8
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen
Schlagworte: