共 50 条
- [42] Extending operational semantics of the Java']Java bytecode TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
- [43] Experiences with Java']Java™ JIT optimization INNOVATIVE ARCHITECTURE FOR FUTURE GENERATION HIGH-PERFORMANCE PROCESSORS AND SYSTEMS, 1999, : 87 - 94
- [44] A type system for Java']Java bytecode subroutines ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
- [45] Java']Java bytecode verification for @NonNull types COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
- [46] Bytecode verification on Java']Java smart cards SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340
- [48] A Framework for Debugging Java']Java Programs in a Bytecode 2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
- [49] Dynamic slicing on Java']Java bytecode traces ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
- [50] Information flow analysis for Java']Java bytecode VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 346 - 362