共 50 条
- [1] Compiling object-oriented programs for distributed execution 3RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1996, : 49 - 54
- [3] Validation and test generation for object-oriented distributed software SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 51 - 60
- [4] A novel approach for dynamic slicing of distributed object-oriented programs DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2004, 3347 : 304 - 309
- [5] A logic of object-oriented programs VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 11 - 41
- [7] Slicing object-oriented programs ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
- [9] Recursion in object-oriented programs JOOP - Journal of Object-Oriented Programming, 1998, 11 (07): : 28 - 35