JmmSolve: a generative reference implementation of CCM machines
Tom Schrijvers, Bart Demoen · Lirias · 2004
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.