共 50 条
- [31] An Evaluation of Current Java']Java Bytecode Decompilers 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2009, : 129 - 136
- [33] An Evaluation of Static Java']Java Bytecode Watermarking WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 1 - 8
- [34] Heap Space Analysis for Java']Java Bytecode ISMM'07: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT, 2007, : 105 - +
- [35] 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
- [36] Path Executions of Java']Java Bytecode Programs PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
- [37] Extending operational semantics of the Java']Java bytecode TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
- [38] Java']Java bytecode verification for @NonNull types COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
- [39] Bytecode verification on Java']Java smart cards SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340