共 50 条
- [1] AN INTEGRATION OF LOGIC AND OBJECT-ORIENTED PROGRAMMING [J]. SIGPLAN NOTICES, 1988, 23 (10): : 181 - 185
- [3] Separation logic for object-oriented programming [J]. Parkinson, M. (mattpark@microsoft.com), 1600, Springer Verlag (7850):
- [4] Logic Java: Combining object-oriented and logic programming [J]. Lect. Notes Comput. Sci, (122-137):
- [6] Fuzzy classes in object-oriented logic programming [J]. FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 1358 - 1364
- [9] Pluto: An object-oriented logic programming language [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 153 - 162
- [10] A proof outline logic for object-oriented programming [J]. THEORETICAL COMPUTER SCIENCE, 2005, 343 (03) : 413 - 442