Open AccessExperiments with Non-Termination Analysis for Java Bytecode
Author(s) -
Étienne Payet,
Fausto Spoto
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2009.11.016
Subject(s) - computer science , programming language , java bytecode , rewriting , bytecode , mathematical proof , program analysis , term (time) , java , theoretical computer science , java applet , java annotation , mathematics , physics , geometry , quantum mechanics
International audienceno abstrac
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom