共 50 条
- [31] Verification of Java']Java programs with generics ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 315 - 329
- [32] Slicing concurrent Java']Java programs SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 126 - 133
- [33] A characterization of traces in Java']Java programs PLC '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGES AND COMPILERS, 2005, : 87 - 93
- [34] Modeling Java']Java programs for diagnosis ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 171 - 175
- [35] Profiling Java']Java Programs for Parallelism 2009 ICSE WORKSHOP ON MULTICORE SOFTWARE ENGINEERING (IWMSE), 2009, : 49 - 55
- [36] Visualizing the execution of Java']Java programs SOFTWARE VISUALIZATION, 2002, 2269 : 151 - 162
- [38] Understanding the behavior of Java']Java programs SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 214 - 223
- [40] Formal Techniques for Java']Java Programs OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2002, 2323 : 30 - 40