• JmmSolve: A Generative Java Me...

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

Title:
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR
International conference on logic programming; Logic programming: ICLP 2004
Authors:
Schrijvers, T.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :475-476
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN052836712&indx=1&recIds=ETOCCN052836712
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings