IL translator for JIT execution of Java']Java bytecode in NET environments

被引:0
|
作者
Lee, Y [1 ]
Na, S [1 ]
Kim, J [1 ]
机构
[1] Seokyeong Univ, Dept Comp Engn, Seoul 136704, South Korea
来源
ISAS/CITSA 2004: International Conference on Cybernetics and Information Technologies, Systems and Applications and 10th International Conference on Information Systems Analysis and Synthesis, Vol 1, Proceedings: COMMUNICATIONS, INFORMATION TECHNOLOGIES AND COMPUTING | 2004年
关键词
oolong-to-MSIL translator; bytecode; oolong; MSIL; JVM; NET platform;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Java, one of the most widely used programming languages recently, is the language invented by James Gosling at Sun Microsystems, which is the next generation language independent of operating systems and hardware platforms. Java source code is compiled into bytecode as intermediate code independent of each platform by compiler, and also executed by JVM. Since the class file, to be executed by JVM, is in binary format, it is very difficult to analyze and modify. On the other hand, Oolong code, another type of java intermediate language, is much easier to read and write compared to class file format. Oolong code is based on Jasmin language by John Meyer, and designed to work in the level of bytecode. C# and NET platform in Microsoft Corp. has been developed to meet the needs of programmers, and cope with Java and JVM platform of Sun Microsystems. After compiling, C# program is converted to MSIL code, and also executed by NET platform but not in JVM platform. For this reason, we designed and implemented the Java Oolong-to-.NET MSIL Intermediate Language translator system for programs written in Java language to be executed in the windows NET platform without JVM.
引用
收藏
页码:80 / 85
页数:6
相关论文
共 50 条
  • [21] Design of translator for generating Java']Java bytecode from thread code of multithreaded models
    Lee, KL
    Kim, KT
    Yang, CM
    Yoo, WH
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 839 - 843
  • [22] Symbolic PathFinder: integrating symbolic execution with model checking for Java']Java bytecode analysis
    Pasareanu, Corina S.
    Visser, Willem
    Bushnell, David
    Geldenhuys, Jaco
    Mehlitz, Peter
    Rungta, Neha
    AUTOMATED SOFTWARE ENGINEERING, 2013, 20 (03) : 391 - 425
  • [23] Java']Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler
    Shibata, Ryoichi
    Sonoyama, Atsuya
    Oguchi, Masato
    Kamiyama, Takeshi
    Fukuda, Akira
    Yamaguchi, Saneyasu
    2020 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - TAIWAN (ICCE-TAIWAN), 2020,
  • [24] On object initialization in the Java']Java bytecode
    Doyon, S
    Debbabi, M
    COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
  • [25] Modeling the Java']Java Bytecode Verifier
    Reynolds, Mark C.
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 327 - 342
  • [26] Termination analysis of Java']Java Bytecode
    Albert, Elvira
    Arenas, Puri
    Codish, Michael
    Genaim, Samir
    Puebla, German
    Zanardini, Damiano
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
  • [27] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
  • [28] Java']Java bytecode verification: An overview
    Leroy, X
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
  • [29] Deadlock Detection of Java']Java Bytecode
    Laneve, Cosimo
    Garcia, Abel
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 37 - 53
  • [30] Integrated Java']Java Bytecode Verification
    Gal, Andreas
    Probst, Christian W.
    Franz, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 27 - 38