Structured Operational Semantics of a Fragment of the Language Scheme.

Furio Honsell Alberto Pravato Simona Ronchi Della Rocca

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

Keyphrases

operational semantics
formal semantics
denotational semantics
model theoretic
agent programming
data model
declarative semantics
mental states
activity diagrams
expert systems
database
artificial intelligence
language learning