An Operational Semantics for a Language with Early Completion Data Structures.

Published in: ICFPC (1981)

Keyphrases

operational semantics
data structure
model theoretic
term rewriting
formal semantics
mental states
declarative semantics
denotational semantics
agent programming
data model
data types
activity diagrams
machine learning
email
artificial intelligence
cooperative
case study