Experiments with Non-Termination Analysis for Java Bytecode

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⟩

Share

Metrics

Record views

65

Files downloads

31