共 50 条
- [41] Formal verification of concurrent and distributed constraint-based Java']Java programs ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 76 - 84
- [42] TFVIS: a Supporting Debugging Tool for Java']Java Programs by Visualizing Data Transitions and Execution Flows PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2015), 2015, : 376 - 379
- [43] Model-checking multi-threaded distributed Java']Java programs SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
- [44] Changing Java']Java programs IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487
- [46] The treewidth of Java']Java programs ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
- [47] Design, and implementation of a Java']Java execution environment 1998 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1998, : 686 - 692
- [49] A uniform transactional execution environment for Java']Java ECOOP 2008 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2008, 5142 : 129 - +
- [50] Java']Java Remote Job Execution System CISIS 2008: THE SECOND INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS, 2008, : 561 - 566