Eager class initialization for java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2469, Issue , 2002, Pages 71-80

  Kozen, Dexter ^a   Stillerman, Matt ^b  

^a School of Operations Research and Information Engineering   (United States)

^b ATC NY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE;

CLASS LOADING; JAVA BYTE CODES; STATIC ANALYSIS METHOD;

REAL TIME SYSTEMS;

EID: 84974691580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45739-9_5     Document Type: Conference Paper

References (10)

1. ACME Java class library. http://www.acme.com/java/software/Package-Acme.html.
2. A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
3. Egon Börger and Wolfram Schulte. Initialization problems for Java. Software Concepts and Tools, 20(4), 1999.
4. COLT Java class library. http://tilde-hoschek.home.cern.ch/~hoschek/colt/V1.0.1/doc/overviewsummary.html.
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.
6. GEO Java class library. http://www.kcnet.com/~ameech/geo/.
7. IEEE Standard for Boot (Initialization Configuration) Firmware: Core Requirements and Practices, 1994. IEEE Standard 1275-1994.
8. Java development kit, version 1.4. http://www.java.sun.com/.
9. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 1996.
10. Martijn Warnier. Specification and verification of sequential Java programs. Master’s thesis, Utrecht University, January 2002.