Work

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-33826-7_3

Authors: Afshin Amighi, Pedro de C. Gomes, Dilian Gurov, Marieke Huisman

Institutions: University of Twente, KTH Royal Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Institut national de recherche en informatique et en automatique (INRIA), FP7 Ideas: European Research Council

Award: Verification of Concurrent Data Structures

OpenAlex ID: W2162644091

FWCI: 1.644

Cites: 25

Cited by: 20

Related to: 10