On Validity of Program Transformations in the Java Memory Model.

Jaroslav Sevck, David Aspinall

Browse the full ECOOP paper archive.