共 50 条
- [2] Compiling multithreaded Java']Java bytecode for distributed execution [J]. EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 1039 - 1052
- [3] A type system for Java']Java bytecode subroutines [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
- [4] Distributed Java']Java Bytecode Genetic Programming with telecom applications [J]. GENETIC PROGRAMMING, PROCEEDINGS, 2000, 1802 : 316 - 325
- [6] Java']Java bytecode verification [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
- [8] Dynamic instrumentation of distributed Java']Java applications using bytecode modifications [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 2, PROCEEDINGS, 2006, 3992 : 534 - 541
- [9] A Java']Java Bytecode Formalisation [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
- [10] A type system for object initialization in the Java']Java bytecode language [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (06): : 1196 - 1250