共 50 条
- [21] Heap Space Analysis for Java']Java Bytecode ISMM'07: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT, 2007, : 105 - +
- [22] Abstract Interpretation of Java']Java Bytecode in Sturdy PROCEEDINGS OF THE 26TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2024, 2024, : 17 - 22
- [23] Path Executions of Java']Java Bytecode Programs PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
- [25] Extending operational semantics of the Java']Java bytecode TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
- [26] Java']Java bytecode verification for @NonNull types COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
- [27] Bytecode verification on Java']Java smart cards SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340
- [29] A type system for Java']Java bytecode subroutines ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
- [30] Dynamic slicing on Java']Java bytecode traces ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):