The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503)
From MaRDI portal
scientific article; zbMATH DE number 5187162
Language | Label | Description | Also known as |
---|---|---|---|
English | The Java Memory Model: Operationally, Denotationally, Axiomatically |
scientific article; zbMATH DE number 5187162 |
Statements
The Java Memory Model: Operationally, Denotationally, Axiomatically (English)
0 references
4 September 2007
0 references