Proving compilation of the Java memory model
Master Project
of Einar de Gruyl
Proving compilation of the Java memory model
Student: Einar de Gruyl
Supervisor(s): Soham Chakraborty, Dennis Sprokholt