Abstract State Machines


Subjects

Methodology

Applications

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.