Logic and Functional Programming by Retractions: Operational Semantics.
Marco BelliaPublished in: RAIRO Theor. Informatics Appl. (1988)
Keyphrases
- operational semantics
- functional programming
- functional language
- declarative semantics
- programming language
- model theoretic
- formal semantics
- quantifier elimination
- execution model
- mental states
- object oriented programming
- data model
- agent programming
- activity diagrams
- dynamic environments
- general purpose
- knowledge base
- logic programming
- object oriented
- high level
- databases