Eager Class Initialization for Java

  • Dexter Kozen
  • Matt Stillerman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2469)


We describe a static analysis method on Java bytecode to determine class initialization dependencies. This method can be used for eager class loading and initialization. It catches many initialization circularities that are missed by the standard lazy implementation. Except for contrived examples, the computed initialization order gives the same results as standard lazy initialization.


Call Graph Method Invocation Instance Method Application Class Initialization Order 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
  2. 2.
    A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.Google Scholar
  3. 3.
    Egon Börger and Wolfram Schulte. Initialization problems for Java. Software Concepts and Tools, 20(4), 1999.Google Scholar
  4. 4.
  5. 5.
    Stephen N. Freund and John C. Mitchell. A type system for object initialization in the Java bytecode language. Trans. Programming Languages and Systems, 21(6):1196–1250, 1999.CrossRefGoogle Scholar
  6. 6.
    GEO Java class library.
  7. 7.
    IEEE Standard for Boot (Initialization Configuration) Firmware: Core Requirements and Practices, 1994. IEEE Standard 1275–1994.Google Scholar
  8. 8.
    Java development kit, version 1.4.
  9. 9.
    Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 1996.Google Scholar
  10. 10.
    Martijn Warnier. Specification and verification of sequential Java programs. Master’s thesis, Utrecht University, January 2002.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Dexter Kozen
    • 1
  • Matt Stillerman
    • 2
  1. 1.Computer Science DepartmentCornell UniversityIthacaUSA
  2. 2.ATC-NYIthacaUSA

Personalised recommendations