Premium
A formal introduction to the compilation of Java
Author(s) -
Diehl Stephan
Publication year - 1998
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/(sici)1097-024x(199803)28:3<297::aid-spe156>3.0.co;2-m
Subject(s) - programming language , computer science , java , generics in java , java modeling language , java annotation , real time java , strictfp
The term abstract machine is widely accepted to denote intermediate target languages and related architectures which serve as an intermediate stage in compiling programming languages. In this paper we explain how a considerable subset of Java is translated into Byte‐Code for the Java Virtual Machine, an abstract machine used as a target for Java compilation. Using formal and precise notation we present the language concepts, the related byte‐code instructions and the compilation schemes. Hitherto none of the existing literature on the JVM 1,2 describes how compilation is done, but present the JVM in isolation. © 1998 John Wiley & Sons, Ltd.