Java and the Java Memory Model - A Unified, Machine-Checked Formalisation
Abstract elided by the publisher.
Related papers
- Making the java memory model safe TOPLAS 2013
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006
- Java Memory Model-Aware Model Checking TACAS 2012
- JDMM: a java memory model for non-cache-coherent memory architectures ISMM 2014
- Formalising Java RMI with explicit code mobility OOPSLA 2005
- Ownership types for safe region-based memory management in real-time Java PLDI 2003
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- A Formalisation of Java's Exception Mechanism ESOP 2001