Bibliography

ABJ⁺93

M. Ahamad, R. A. Bazzi, R. John, P. Kohli, and G. Neiger.
The power of processor consistency.
In Proceedings of the Fifth ACM Symp. on Parallel Algorithms and Architectures (SPAA), 1993.

BW99a

Philip Bishop and Nigel Warren.
Java in Practice: Design Styles and Idioms for Effective Java.
Addison-Wesley, 1999.

BW99b

Philip Bishop and Nigel Warren.
Lazy instantiation: Balancing performance and resource usage.
JavaWorld, 1999.
http:// www.javaworld.com/javaworld/ javatip s/jw-javatip67.html.

CKRW97

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing.
From sequential to multi-threaded java: An event-based operational semantics.
In In Proc. $6^{\rm th}$ Int. Conf. Algebraic Methodology and Software Technology, Berlin, October 1997. Springer-Verlag.

CKRW98

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing.
Formal Syntax and Semantics of Java.
Springer-Verlag, 1998.

GJS96

James Gosling, Bill Joy, and Guy Steele.
The Java Language Specification.
Addison Wesley, 1996.

GS97

Alex Gontmakher and Assaf Schuster.
Java consistency: Non-operational characterizations for the java memory behavior.
Technical Report CS0922, Dept. of Computer Science, Technion, November 1997.

LY96

Tim Lindholm and Frank Yellin.
The Java Virtual Machine Specification.
Addison Wesley, 1996.

WG94

David Weaver and Tom Germond.
The SPARC Architecture Manual, version 9.
Prentive-Hall, 1994.