Experiments with Non-Termination Analysis for Java Bytecode

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 (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

Littérature citée [15 références]  Voir  Masquer  Télécharger

http://hal.univ-reunion.fr/hal-01188696
Contributeur : Nicolas Alarcon <>
Soumis le : jeudi 7 juin 2018 - 07:36:48
Dernière modification le : lundi 11 juin 2018 - 17:16:19

Fichier

1-s2.0-S1571066109004666-main....
Publication financée par une institution

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 (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

29

Téléchargements de fichiers

12