共 50 条
- [41] A type system for Java']Java bytecode subroutines ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
- [42] Dynamic slicing on Java']Java bytecode traces ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
- [43] A Framework for Debugging Java']Java Programs in a Bytecode 2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
- [45] Dynamic slicing of Java']Java bytecode programs FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
- [48] Information flow analysis for Java']Java bytecode VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 346 - 362
- [50] An empirical study of Java']Java bytecode programs SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641