Deriving a Compiler From an Operational Semantics Written in VDL.

Shahrzade Mazaher Daniel M. Berry

Published in: Comput. Lang. (1985)

Keyphrases

operational semantics
formal semantics
programming language
model theoretic
general purpose
software systems
mental states
denotational semantics
data model
declarative semantics
cooperative
agent programming
activity diagrams
black box