Conference Papers Year : 2009

Experiments with Non-Termination Analysis for Java Bytecode

Fichier principal
Vignette du fichier
1-s2.0-S1571066109004666-main.pdf (287.94 Ko) Télécharger le fichier
Origin Publication funded by an institution
Loading...

Dates and versions

hal-01188696 , version 1 (07-06-2018)
hal-01188696 , version 2 (15-11-2018)

Identifiers

Cite

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⟩
104 View
239 Download

Altmetric

Share

More