共 50 条
- [21] Formal techniques for Java']Java programs [J]. OBJECT-ORIENTED TECHNOLOGY, 1999, 1743 : 97 - 115
- [22] The Use of Overloading in JAVA']JAVA Programs [J]. ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 529 - 551
- [24] A characterization of traces in Java']Java programs [J]. PLC '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGES AND COMPILERS, 2005, : 87 - 93
- [25] Visualizing the execution of Java']Java programs [J]. SOFTWARE VISUALIZATION, 2002, 2269 : 151 - 162
- [26] Profiling Java']Java Programs for Parallelism [J]. 2009 ICSE WORKSHOP ON MULTICORE SOFTWARE ENGINEERING (IWMSE), 2009, : 49 - 55
- [27] Modeling Java']Java programs for diagnosis [J]. ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 171 - 175
- [28] Interactive visualization of Java']Java programs [J]. IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 226 - 235
- [29] A Translator of Java']Java Programs to TADDs [J]. FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 305 - 324