共 50 条
- [21] Formal techniques for Java']Java programs OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2000, 1964 : 41 - 54
- [22] A refinement method for Java']Java programs FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 221 - +
- [23] The Use of Overloading in JAVA']JAVA Programs ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 529 - 551
- [27] Interactive visualization of Java']Java programs IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 226 - 235
- [28] A characterization of traces in Java']Java programs PLC '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGES AND COMPILERS, 2005, : 87 - 93
- [29] Modeling Java']Java programs for diagnosis ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 171 - 175
- [30] Visualizing the execution of Java']Java programs SOFTWARE VISUALIZATION, 2002, 2269 : 151 - 162