Hi folks,
Bill and I have made a few small changes to the model, based on feedback
over the last couple of months. The new version of the document we sent
out for the community review is available at:
http://www.cs.umd.edu/~pugh/java/memoryModel/CommunityReview-2.pdf
The revised "one-page" version of the model is available at:
http://www.cs.umd.edu/~pugh/java/memoryModel/October16.pdf
The revised versions of the proofs based on the updates is available at:
http://www.cs.umd.edu/~pugh/java/memoryModel/Proof-2.pdf
Jeremy
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:51 EDT