共 50 条
[22]
Termination analysis of Java']Java Bytecode
[J].
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS,
2008, 5051
:2-+
[24]
Java']Java bytecode verification: An overview
[J].
COMPUTER AIDED VERIFICATION, PROCEEDINGS,
2001, 2102
:265-285
[25]
Deadlock Detection of Java']Java Bytecode
[J].
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017),
2018, 10855
:37-53
[27]
Cost analysis of Java']Java bytecode
[J].
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS,
2007, 4421
:157-+
[28]
Verified Java']Java Bytecode Verification
[J].
IT-INFORMATION TECHNOLOGY,
2005, 47 (02)
:107-110
[29]
Dependence analysis of Java']Java bytecode
[J].
24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000),
2000, 24
:486-491