Work

A parameterized type system for race-free Java programs

Year: 2001

Type: conference-paper

Source: Conference on Object-Oriented Programming Systems, Languages, and Applications

DOI: 10.1145/504282.504287

Authors: Chandrasekhar Boyapati, Martin Rinard

Institution: Massachusetts Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2103957752

FWCI: 12.2

Cites: 40

Cited by: 297

Related to: 10