Abstract State Machines




ASM Studies

Java Initialization

Citation: Egon Börger and Wolfram Schulte, "Initialization Problems for Java." Software -- Concepts and Tools, vol. 20, no. 4, 1999.
Summary: The treatment of initialization of classes and interfaces in Java and the Java Virtual Machine is shown to have problems, both in the ASM models and in various current implementations.
Subjects: Java
Download: PostScript, PDF, Compressed PostScript
Notes: See further elaborations in Jbook.