An Operational Semantics for Icon: Implementation of a Procedural Goal-Directed Language.

Janalee O'Bagy Kenneth Walker Ralph E. Griswold

Published in: Comput. Lang. (1993)

Keyphrases

operational semantics
goal directed
formal semantics
model theoretic
agent communication language
data model
mental states
agent programming
denotational semantics
declarative semantics
specification language
machine learning
activity diagrams
databases
object oriented
programming language