共 50 条
- [1] Dynamic slicing of Java']Java bytecode programs [J]. FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
- [2] On object initialization in the Java']Java bytecode [J]. COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
- [4] Dynamic semantics of Java']Java bytecode [J]. FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
- [5] Path Executions of Java']Java Bytecode Programs [J]. PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
- [6] A Framework for Debugging Java']Java Programs in a Bytecode [J]. 2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
- [7] A programming logic for Java']Java bytecode programs [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
- [8] An empirical study of Java']Java bytecode programs [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641
- [9] Designing concurrent object-oriented programs in Java']Java [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 461 - 461