Experiments with Non-Termination Analysis for Java Bytecode

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

Cited literature [24 references]  Display  Hide  Download
http://hal.univ-reunion.fr/hal-01188696
Contributor : Nicolas Alarcon <>
Submitted on : Thursday, June 7, 2018 - 7:36:48 AM
Last modification on : Thursday, March 28, 2019 - 11:24:10 AM
Long-term archiving on : Saturday, September 8, 2018 - 12:24:56 PM

File

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

Share

Metrics

Record views

65

Files downloads

31

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD