Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Termination Analysis of Java Bytecode Elvira Albert1
 

Summary: Termination Analysis of Java Bytecode
Elvira Albert1
, Puri Arenas1
, Michael Codish2
,
Samir Genaim3
, Germ´an Puebla3
, and Damiano Zanardini3
1
DSIC, Complutense University of Madrid (UCM), Spain
2
CS, Ben-Gurion University of the Negev, Israel
3
CLIP, Technical University of Madrid (UPM), Spain
Abstract. Termination analysis has received considerable attention, tra-
ditionally in the context of declarative programming, and recently also
for imperative languages. In existing approaches, termination is per-
formed on source programs. However, there are many situations, includ-
ing mobile code, where only the compiled code is available. In this work
we present an automatic termination analysis for sequential Java Byte-

  

Source: Arenas, Puri - Facultad de Informática, Universidad Politécnica de Madrid

 

Collections: Computer Technologies and Information Sciences