OOPSLA (The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications) is the leading forum for the presentation of research and applications in object-technology. Topics covered at the annual conference include applications, design, databases, user interfaces, tools and environments, software engineering, education, languages, implementation, and theory. As part of our ongoing partnership with ACM (Association for Computing Machinery), Addison-Wesley is proud to publish these important conference proceedings.If the program was previously correct, changing the storage class of a variable to volatile does not change the ... 4.2 Algebraic rules We present the model by first giving algebraic rules for Java memory operations, ... 4.5 Other constraints on reordering We have noted already that a compiler must reason about program addresses symbolically, whereas a running JVM can work with actual addresses.
|Title||:||Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '00)|
|Publisher||:||Addison-Wesley - 2000|