Work

Termination Analysis of Java Bytecode

Year: 2008

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-68863-1_2

Authors: Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini

Institutions: Universidad Complutense de Madrid, Ben-Gurion University of the Negev, Universidad Politécnica de Madrid

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1598565505

FWCI: 5.148

Cites: 37

Cited by: 59

Related to: 10