Work

Program analysis for safety guarantees in a Java virtual machine written in Java

Year: 2001

Type: conference-paper

Source: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)

DOI: 10.1145/379605.379668

Authors: Jan-Willem Maessen, Vivek Sarkar, David Grove

Institutions: Massachusetts Institute of Technology, IBM Research - Thomas J. Watson Research Center

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2088988766

FWCI: 0.335

Cites: 12

Cited by: 5

Related to: 10