共 50 条
- [1] Data design approach for object-oriented FEM programs Computers and Structures, 1996, 61 (03): : 503 - 513
- [3] 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
- [5] Slicing object-oriented programs ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
- [7] Recursion in object-oriented programs JOOP - Journal of Object-Oriented Programming, 1998, 11 (07): : 28 - 35
- [9] Recursion in object-oriented programs JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (07): : 28 - 35
- [10] A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2022, : 267 - 274