共 50 条
- [3] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
- [5] Hybrid modeling and verification of Java']Java based software Software Engineering Techniques: Design for Quality, 2006, 227 : 121 - 126
- [6] A formal introduction to the compilation of Java']Java SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (03): : 297 - 327
- [7] A Java']Java virtual machine design based on hybrid concurrent compilation model 36TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 18 - 23
- [8] Practical experiences with Java']Java compilation HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 149 - 157
- [10] Compilation scheduling for the Java']Java virtual machine PLC '05: Proceedings of the 2005 International Conference on Programming Languages and Compilers, 2005, : 187 - 193