Work

On Validity of Program Transformations in the Java Memory Model

Year: 2008

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-70592-5_3

Authors: Jaroslav Ševčík, David Aspinall

Institution: University of Edinburgh

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

OpenAlex ID: W1482397304

FWCI: 9.053

Cites: 21

Cited by: 168

Related to: 10