Defining the Java Virtual Machine as platform for provably correct java compilation

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

Volumn 1450 LNCS, Issue , 1998, Pages 17-35

  Börger, Egon ^a   Schulte, Wolfram ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); MACHINE COMPONENTS; NETWORK SECURITY; PROGRAM COMPILERS; PROGRAM INTERPRETERS; VIRTUAL MACHINE; COMPUTER SOFTWARE;

COMPILER CORRECTNESS; DESIGN FOR REUSE; JAVA CODES; JAVA PROGRAM; JAVA VIRTUAL MACHINES; MECHANICAL VERIFICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 84896693886     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055755     Document Type: Conference Paper

References (6)

1. E. Börger and W. Schulte. Defining the Java Virtual Machine as platform for provably correct Java compilation. Technical report, Universität Ulm, Fakultät für Informatik. Ulm, Germany, 1998.
2. E. Börger and W. Schulte. A modular design for the Java VM architecture. In E. Börger, editor, Architecture Design and Validation Methods. Springer LNCS, to appear, 1998.
3. E. Börger and W. Schulte. A programmer friendly modular definition of the semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java(tm), Springer LNCS, to appear. 1998.
4. J. Gosling, B. Joy, and G. Steele. The Java(tm) Language Specification. Addison Wesley, 1996.
5. Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. Borger, editor, Specification and Validation Methods. Oxford University Press, 1995.
6. T. Lindholm and F. Yellin. The Java(tm) Virtual Machine Specification. Addison Wesley, 1996.