Work

Proving correctness of a dynamic atomicity analysis in Coq

Year: 2008

Type: article

Authors: Caitlin Sadowski, Jaeheon Yi, Kenneth Knowles, Cormac Flanagan

Institution: University of California, Santa Cruz

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2169832370

FWCI:

Cites: 5

Cited by: 3

Related to: 9