Linear objects: Logical processes with built-in inheritance
- 1 August 1991
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 9 (3-4) , 445-473
- https://doi.org/10.1007/bf03037173
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Communication as fair distribution of knowledgePublished by Association for Computing Machinery (ACM) ,1991
- LO and behold! Concurrent structured processesPublished by Association for Computing Machinery (ACM) ,1990
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- C-logic of complex objectsPublished by Association for Computing Machinery (ACM) ,1989
- Non-Horn clause logic programming without contrapositivesJournal of Automated Reasoning, 1988
- Near-Horn Prolog.Published by Defense Technical Information Center (DTIC) ,1987
- Linear logicTheoretical Computer Science, 1987
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Object oriented programming in Concurrent PrologNew Generation Computing, 1983