Treffer: Termination Graphs for Java Bytecode

Title:
Termination Graphs for Java Bytecode
Authors:
Brockschmidt, Marc, Otto, Carsten, von Essen, Christian, Giesl, Jürgen
Source:
Lecture Notes in Computer Science ; Verification, Induction, Termination Analysis ; page 17-37 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642171710 9783642171727
Publisher Information:
Springer Berlin Heidelberg
Publication Year:
2010
Document Type:
Buch book part
Language:
unknown
ISBN:
978-3-642-17171-0
978-3-642-17172-7
3-642-17171-0
3-642-17172-9
DOI:
10.1007/978-3-642-17172-7_2
Availability:
http://dx.doi.org/10.1007/978-3-642-17172-7_2
http://link.springer.com/content/pdf/10.1007/978-3-642-17172-7_2
Rights:
http://www.springer.com/tdm
Accession Number:
edsbas.201AA95D
Database:
BASE