Skip to Main content Skip to Navigation
Conference papers

Experiments with Non-Termination Analysis for Java Bytecode

Etienne Payet 1 Fausto Spoto 2 
1 LIM - Laboratoire d'Informatique et de Mathématiques
2 UNIVR | DI - Department of Computer Science [Verona]
Keywords : Java Java bytecode static analysis termination non-termination
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
https://hal.univ-reunion.fr/hal-01188696
Contributor : Nicolas Alarcon Connect in order to contact the contributor
Submitted on : Thursday, June 7, 2018 - 7:36:48 AM
Last modification on : Monday, March 21, 2022 - 5:22:04 PM
Long-term archiving on: : Saturday, September 8, 2018 - 12:24:56 PM

File

Vignette du document
1-s2.0-S1571066109004666-main....
Publication funded by an institution

Identifiers

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

80

Files downloads

137