Work

Safe optimisations for shared-memory concurrent programs

Year: 2011

Type: conference-paper

Source: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/1993498.1993534

Author: Jaroslav Ševčík

Institutions: University of Cambridge, MathWorks (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4246957455

FWCI: 4.758

Cites: 17

Cited by: 44

Related to: 10