Skip to content

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR.

Tom Schrijvers

VenueBICLP
Year2004
ProceedingsICLP

Browse the full ICLP paper archive.