OpenAlex | Using abstract interpretation to add type checking for interfaces in Java bytecode verification

Using abstract interpretation to add type checking for interfaces in Java bytecode verification

Work

Year: 2010

Type: article

Source: Theoretical Computer Science

Authors Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini

Institution University of Pisa

Cites: 21

Cited by: 2

Related to: 10

FWCI:

Citation percentile (by year/subfield): 67.75

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze