Making the java memory model safe
Saved in:
| Title: | Making the java memory model safe |
|---|---|
| Authors: | Lochbihler, Andreas |
| Source: | ACM Transactions on Programming Languages and Systems, 35 (4) |
| Publisher Information: | Association for Computing Machinery |
| Publication Year: | 2013 |
| Collection: | ETH Zürich Research Collection |
| Subject Terms: | Languages, Theory, Data race freedom, Java memory model, Operational semantics, Type safety |
| Description: | ISSN:0164-0925 ; ISSN:1558-4593 |
| Document Type: | article in journal/newspaper |
| Language: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/wos/000329182700001; http://hdl.handle.net/20.500.11850/80224 |
| Availability: | https://hdl.handle.net/20.500.11850/80224 |
| Rights: | Metadata only |
| Accession Number: | edsbas.46D089E2 |
| Database: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | ISSN:0164-0925 ; ISSN:1558-4593 |
|---|