共 50 条
- [3] Reverse execution of Java bytecode Cook, J.J. (Jon.Cook@ed.ac.uk), 1600, Oxford University Press (45):
- [4] Compiling multithreaded Java']Java bytecode for distributed execution EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 1039 - 1052
- [5] Java']Java bytecode-to-.NET MSIL translator for construction of platform independent information systems KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2004, 3215 : 826 - 832
- [6] SableVM: A research framework for the efficient execution of Java']Java bytecode USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 27 - 39
- [8] Deterministic execution of Java']Java's primitive bytecode operations USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 141 - 152
- [10] JDART: Dynamic Symbolic Execution for Java']Java Bytecode (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 398 - 402