共 50 条
- [1] An easy-to-use toolkit for efficient Java']Java bytecode translators GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, 2003, 2830 : 364 - 376
- [4] A Java']Java Bytecode Formalisation VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
- [8] Termination analysis of Java']Java Bytecode FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
- [9] Java']Java bytecode verification: An overview COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
- [10] Deadlock Detection of Java']Java Bytecode LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 37 - 53