Experiments with Non-Termination Analysis for Java Bytecode

Abstract : no abstract
Type de document :
Communication dans un congrès
Albert, Elvira and Genaim, Samir. Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. Elsevier, 253-5, pp.83--96, 2009, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2009.11.016〉
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01188696
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 31 août 2015 - 14:08:00
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Lien texte intégral

Identifiants

Collections

Citation

Etienne Payet, Fausto Spoto. Experiments with Non-Termination Analysis for Java Bytecode. Albert, Elvira and Genaim, Samir. Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. Elsevier, 253-5, pp.83--96, 2009, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2009.11.016〉. 〈hal-01188696〉

Partager

Métriques

Consultations de la notice

18