Cooking the Books: Formalizing JMM Implementation Recipes.

Gustavo Petri, Jan Vitek, Suresh Jagannathan

Browse the full ECOOP paper archive.