Making the java memory model safe
Gespeichert in:
| Titel: | Making the java memory model safe |
|---|---|
| Autoren: | Lochbihler, Andreas |
| Quelle: | ACM Transactions on Programming Languages and Systems, 35 (4) |
| Verlagsinformationen: | Association for Computing Machinery |
| Publikationsjahr: | 2013 |
| Bestand: | ETH Zürich Research Collection |
| Schlagwörter: | Languages, Theory, Data race freedom, Java memory model, Operational semantics, Type safety |
| Beschreibung: | ISSN:0164-0925 ; ISSN:1558-4593 |
| Publikationsart: | article in journal/newspaper |
| Sprache: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/wos/000329182700001; http://hdl.handle.net/20.500.11850/80224 |
| Verfügbarkeit: | https://hdl.handle.net/20.500.11850/80224 |
| Rights: | Metadata only |
| Dokumentencode: | edsbas.46D089E2 |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | ISSN:0164-0925 ; ISSN:1558-4593 |
|---|