A Termination Analyzer for Java Bytecode Based on Path-Length.

Saved in:

Bibliographic Details
Title:	A Termination Analyzer for Java Bytecode Based on Path-Length.
Authors:	SPOTO, FAUSTO¹ fausto.spoto@univr.it, MESNARD, FRED², PAYET, ÉTIENNE²
Source:	ACM Transactions on Programming Languages & Systems. Mar2010, Vol. 32 Issue 3, p8-8.70. 70p. 9 Diagrams, 8 Charts.
Database:	Business Source Ultimate

Description
ISSN:	01640925
DOI:	10.1145/1709093.1709095