共 50 条
[31]
An Evaluation of Current Java']Java Bytecode Decompilers
[J].
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
[J].
WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2,
2010,
:1-8
[34]
Heap Space Analysis for Java']Java Bytecode
[J].
ISMM'07: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT,
2007,
:105-+
[35]
Path Executions of Java']Java Bytecode Programs
[J].
PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2,
2018, 564
:261-271
[36]
Abstract Interpretation of Java']Java Bytecode in Sturdy
[J].
PROCEEDINGS OF THE 26TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2024,
2024,
:17-22
[37]
Extending operational semantics of the Java']Java bytecode
[J].
TRUSTWORTHY GLOBAL COMPUTING,
2008, 4912
:57-72
[38]
A type system for Java']Java bytecode subroutines
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1999, 21 (01)
:90-137
[39]
Java']Java bytecode verification for @NonNull types
[J].
COMPILER CONSTRUCTION,
2008, 4959
:229-244