A formal introduction to the compilation of Java']Java

被引：0
|
作者：
Diehl, S [1 ]
机构：
[1] Univ Saarlandes, FB Informat 14, D-66041 Saarbrucken, Germany
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1998年 / 28卷 / 03期
关键词：
!text type='Java']Java[!/text; compilation; abstract machines; object-orientation;
D O I：
10.1002/(SICI)1097-024X(199803)28:3<297::AID-SPE156>3.0.CO;2-M
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. (C) 1998 John Wiley & Sons, Ltd.
引用
收藏
页码：297 / 327
页数：31
相关论文
共 50 条
  • [1] A formal framework for Java']Java separate compilation
    Ancona, D
    Lagorio, G
    Zucca, E
    [J]. ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 609 - 635
  • [2] Practical experiences with Java']Java compilation
    Smith, T
    Srinivas, S
    Tomsich, P
    Park, J
    [J]. HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 149 - 157
  • [3] A low-footprint Java']Java-to-native compilation scheme using formal methods
    Courbot, Alexandre
    Pavlova, Mariela
    Grimaud, Gilles
    Vandewalle, Jean-Jacques
    [J]. SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2006, 3928 : 329 - 344
  • [4] Compilation scheduling for the Java']Java virtual machine
    Jiva, A
    Chun, R
    [J]. PLC '05: Proceedings of the 2005 International Conference on Programming Languages and Compilers, 2005, : 187 - 193
  • [5] Towards a smart compilation manager for Java']Java
    Lagorio, G
    [J]. THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 302 - 315
  • [6] Improving compilation of Java']Java scientific applications
    Budimlic, Zoran
    Joyner, Mackale
    Kennedy, Ken
    [J]. INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2007, 21 (03): : 251 - 265
  • [7] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation
    Börger, E
    Schulte, W
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
  • [8] Formal analysis of Java']Java programs in Java']JavaFAN
    Farzan, A
    Chen, F
    Meseguer, J
    Rosu, G
    [J]. COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
  • [9] An introduction to Java']Java
    Gage, JS
    [J]. M D COMPUTING, 1996, 13 (06): : 476 - &
  • [10] Formal techniques for Java']Java programs
    Drossopoulou, S
    Eisenbach, S
    Jacobs, B
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    [J]. OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2000, 1964 : 41 - 54
12345