共 50 条
- [1] 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
- [3] Slicing object-oriented programs ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
- [5] Recursion in object-oriented programs JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (07): : 28 - 35
- [6] Recursion in object-oriented programs JOOP - Journal of Object-Oriented Programming, 1998, 11 (07): : 28 - 35
- [7] Data Layouts for Object-Oriented Programs SIGMETRICS'07: PROCEEDINGS OF THE 2007 INTERNATIONAL CONFERENCE ON MEASUREMENT & MODELING OF COMPUTER SYSTEMS, 2007, 35 (01): : 265 - 276