An operational semantics for Scheme.

Jacob Matthews Robert Bruce Findler

Published in: J. Funct. Program. (2008)

Keyphrases

operational semantics
formal semantics
declarative semantics
mental states
activity diagrams
database
model theoretic
databases
knowledge base
case study
database systems
learning process
knowledge representation
denotational semantics