Java and the Java Memory Model – a Unified, Machine-Checked Formalisation | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

A. Lochbihler, “Java and the Java Memory Model – a Unified, Machine-Checked Formalisation”, in Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Systems (PLAS 2012), 2012.