JavaMemoryModel: New Updated Documents

Date: Thu Oct 16 2003 - 11:55:05 EDT

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:

The revised "one-page" version of the model is available at:

The revised versions of the proofs based on the updates is available at:

JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:51 EDT