Work

Provably correct control flow graphs from Java bytecode programs with exceptions

Year: 2015

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-015-0375-0

Authors: Afshin Amighi, Pedro de Carvalho 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: green

OpenAlex ID: W2006370436

FWCI: 2.727

Cites: 40

Cited by: 7

Related to: 10