Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Abstract : In an earlier work, a termination analyzer for Java bytecode was developed that translates a Java bytecode program into a constraint logic program and then proves the termination of the latter. An efficiency bottleneck of the termination analyzer is the construction of a proof of termination for the generated constraint logic program, which is often very large in size. In this paper, a set of program simplifications are presented that reduce the size of the constraint logic program without changing its termination behavior. These simplifications remove program clauses and/or predicate arguments that do not affect the termination behavior of the constraint logic program. Their effect is to reduce significantly the time needed to build the termination proof for the constraint logic program, as our experiments show.
Type de document :
Communication dans un congrès
Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. Elsevier, 253-5 (5), pp.129--144, 2009, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2009.11.019〉
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01188704
Contributeur : Nicolas Alarcon <>
Soumis le : jeudi 7 juin 2018 - 07:27:12
Dernière modification le : vendredi 14 septembre 2018 - 08:15:28
Document(s) archivé(s) le : samedi 8 septembre 2018 - 12:59:53

Fichier

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

Identifiants

Collections

Citation

Fausto Spoto, Lunjin Lu, Frédéric Mesnard. Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. Elsevier, 253-5 (5), pp.129--144, 2009, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2009.11.019〉. 〈hal-01188704〉

Partager

Métriques

Consultations de la notice

59

Téléchargements de fichiers

14