共 50 条
- [1] Path Executions of Java']Java Bytecode Programs [J]. PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
- [2] Dynamic slicing of Java']Java bytecode programs [J]. FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
- [3] A programming logic for Java']Java bytecode programs [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
- [4] An empirical study of Java']Java bytecode programs [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641
- [6] Compiling lazy functional programs to Java']Java bytecode [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
- [7] Compiling C++ programs to Java']Java bytecode [J]. SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERNG, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING AND FIRST AICS INTERNATIONAL WORKSHOP ON SELF-ASSEMBLING WIRELESS NETWORKS, PROCEEDINGS, 2005, : 56 - 61
- [8] Crisp: A debugging tool for Java']Java programs [J]. ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 401 - 410
- [9] Automating syntactic debugging of Java']Java programs [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 105 - 110
- [10] Visual debugging of multithreaded Java']Java programs [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341