Work

PLDI 2002: Extended static checking for Java

Year: 2013

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/2502508.2502520

Authors: Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

Institution: Microsoft (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2036756319

FWCI: 3.256

Cites: 44

Cited by: 21

Related to: 10