Linear objects: Logical processes with built-in inheritance-Reference-Cited by-同舟云学术

Linear objects: Logical processes with built-in inheritance

Published:1991-08 Issue:3-4 Volume:9 Page:445-473
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Andreoli Jean-Marc,Pareschi Remo

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037173.pdf

Reference33 articles.

1. Agha, G. and Hewitt, C., “Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming,” inResearch Directions in Object-Oriented Programming (B. Shriver and P. Wegner, eds.), MIT Press, 1987.

2. Aït-Kaci, H. and Nasr, R., “LOGIN: A Logic Programming Language with Built-in Inheritance,”Journal of Logic Programming, 3, 3, 1986.

3. Andreoli, J. M., “Proposition pour une Synthèse des Paradigmes de la Programmation Logique et de la Programmation par Objets,”Ph. D. thesis, Université de Paris VI, Paris, France, 1990.

4. Lecture Notes in Artificial Intelligence;J. M. Andreoli,1990

5. Andreoli, J. M. and Pareschi, R., “Formulae as Active Representation of Data,” inActes du 9eme Séminaire sur la Programmation en Logique, Trégastel, France, 1990.

Cited by 118 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18

2. Reciprocal Influences Between Proof Theory and Logic Programming;Philosophy & Technology;2019-08-06

3. Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project;Science of Computer Programming;2018-10

4. From Linear Types to Behavioural Types and Model Checking;Lecture Notes in Computer Science;2014

5. Universal vs. particular reasoning: a study with neuroimaging techniques;Logic Journal of IGPL;2013-04-25