KIT | KIT-Bibliothek | Impressum | Datenschutz

Java and the Java Memory Model – a Unified, Machine-Checked Formalisation

Lochbihler, Andreas 1
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-642-28869-2_25
Scopus
Zitationen: 23
Dimensions
Zitationen: 24
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page