A Termination Analyzer for Java Bytecode Based on Path Length

• Autores: Fausto Spoto, Fred Mesnard, Etienne Payet
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 32, Nº 3, 2010, pág. 8
• Idioma: inglés
• Texto completo no disponible (Saber más ...)