共 50 条
- [21] Design of translator for generating Java']Java bytecode from thread code of multithreaded models PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 839 - 843
- [23] Java']Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler 2020 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - TAIWAN (ICCE-TAIWAN), 2020,
- [26] Termination analysis of Java']Java Bytecode FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
- [28] Java']Java bytecode verification: An overview COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
- [29] Deadlock Detection of Java']Java Bytecode LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 37 - 53