Experiments with Non-Termination Analysis for Java Bytecode

Etienne Payet; Fausto Spoto

doi:10.1016/j.entcs.2009.11.016

Communication Dans Un Congrès Année : 2009

Experiments with Non-Termination Analysis for Java Bytecode

(1) , (2)

1
2

Etienne Payet

Fonction : Auteur
PersonId : 1243814
IdHAL : etienne-payet
ORCID : 0000-0002-3519-025X

Laboratoire d'Informatique et de Mathématiques

Fausto Spoto

Fonction : Auteur

Department of Computer Science [Verona]

Mots clés

Java Java bytecode static analysis termination non-termination

Domaines

Informatique [cs]

Fichier principal

1-s2.0-S1571066109004666-main.pdf (287.94 Ko)

Origine : Publication financée par une institution

Nicolas Alarcon : Connectez-vous pour contacter le contributeur

https://hal.univ-reunion.fr/hal-01188696

Soumis le : jeudi 7 juin 2018-07:36:48

Dernière modification le : jeudi 30 novembre 2023-12:17:45

Archivage à long terme le : samedi 8 septembre 2018-12:24:56

Dates et versions

hal-01188696 , version 1 (07-06-2018)

hal-01188696 , version 2 (15-11-2018)

Identifiants

HAL Id : hal-01188696 , version 1
DOI : 10.1016/j.entcs.2009.11.016

Citer

Etienne Payet, Fausto Spoto. Experiments with Non-Termination Analysis for Java Bytecode. Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), Mar 2009, York, United Kingdom. pp.83--96, ⟨10.1016/j.entcs.2009.11.016⟩. ⟨hal-01188696v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

87 Consultations

225 Téléchargements

Experiments with Non-Termination Analysis for Java Bytecode

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Altmetric

Partager