Work

Safe optimisations for shared-memory concurrent programs

Year: 2011

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/1993316.1993534

Author: Jaroslav Ševčík

Institutions: University of Cambridge, MathWorks (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1990191223

FWCI: 10.17

Cites: 22

Cited by: 38

Related to: 10