| Home > Publications > Reports > Informatics (CW) |
CW 379
Tom Schrijvers, Bart Demoen
JmmSolve: a generative implementation of CCM Machines
Abstract
In this paper we report on JmmSolve, a solver implementation of CCM machines, a framework for Java memory models. It illustrates the generative nature of the memory model framework in that it is able to generate all valid read-write linkings.
report.pdf (152K) / mailto: T. Schrijvers