共 50 条
- [23] Termination analysis of Java']Java Bytecode FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
- [24] Java']Java bytecode verification: An overview COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
- [25] Deadlock Detection of Java']Java Bytecode LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 37 - 53
- [27] Cost analysis of Java']Java bytecode PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 157 - +
- [28] Verified Java']Java Bytecode Verification IT-INFORMATION TECHNOLOGY, 2005, 47 (02): : 107 - 110
- [29] Dependence analysis of Java']Java bytecode 24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 486 - 491