Narrowing as the Operational Semantics of Functional Languages.

Published in: SLP (1985)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
declarative semantics
functional language
denotational semantics
activity diagrams
databases
mental states
machine learning