Treffer: Modular termination proofs of recursive java bytecode programs by term rewriting
Titel:
Modular termination proofs of recursive java bytecode programs by term rewriting / Marc Brockschmidt; Carsten Otto and Jürgen Giesl
Veröffentlicht:
Aachen : RWTH Aachen, 2011
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (31 S., 523 KB) : graph. Darst.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2011, 02
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen
Schlagworte: