Linear Objects: a Logic Framework for Open System Programming.

Jean-Marc Andreoli Remo Pareschi

Published in: LPAR (1992)

Keyphrases

logical framework
moving objects
multi object
logic programming
data sets
d objects
programming language
theoretical framework
modal logic
conceptual framework
object model