Work

Data flow analysis for checking properties of concurrent Java programs

Year: 1999

Type: conference-paper

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1145/302405.302663

Authors: Gleb Naumovich, George S. Avrunin, Lori A. Clarke

Institution: University of Massachusetts Amherst

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2147593930

FWCI: 5.477

Cites: 22

Cited by: 74

Related to: 10