共 50 条
- [31] Selective profiling of Java']Java applications using dynamic bytecode instrumentation [J]. ISPASS: 2004 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2004, : 141 - 150
- [33] Verification of Java']Java bytecode using analysis and transformation of logic programs [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 124 - +
- [34] Extending operational semantics of the Java']Java bytecode [J]. TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
- [36] An Evaluation of Static Java']Java Bytecode Watermarking [J]. WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 1 - 8
- [37] A Framework for Debugging Java']Java Programs in a Bytecode [J]. 2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
- [38] Dynamic slicing on Java']Java bytecode traces [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
- [39] TEACHING ROBOTICS AND PROGRAMMING WITH LEGO® MINDSTORMS® FOR STUDENTS IN ALL AGES [J]. EDULEARN13: 5TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2013, : 324 - 332
- [40] A type system for Java']Java bytecode subroutines [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137