An integration of logic and object-oriented programming
- 1 October 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 23 (10) , 181-185
- https://doi.org/10.1145/51607.51622
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- An algebraic semantics approach to the effective resolution of type equationsTheoretical Computer Science, 1986
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986