共 50 条
- [35] Research and realization of class library and model library in object-oriented software development tool kit Jisuanji Gongcheng/Computer Engineering, 2002, 28 (03):
- [37] Modular Session Types for Distributed Object-Oriented Programming POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 299 - 312
- [38] Boogie: A modular reusable verifier for object-oriented programs FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 364 - 387
- [40] A modular Java']Java API for object-oriented databases TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 55 - 60