Java and the Java Memory Model – a Unified, Machine-Checked Formalisation
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-642-28868-5 ISSN: 1611-3349 KITopen-ID: 1000120863 |
| Erschienen in | Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Ed.: H. Seidl |
| Verlag | Springer-Verlag |
| Seiten | 497–517 |
| Serie | Lecture notes in computer science ; 7211 |
| Nachgewiesen in | OpenAlex Scopus Dimensions |
| Globale Ziele für nachhaltige Entwicklung |