Operational Semantics-Directed Compilers and Machine Architectures.

Published in: ACM Trans. Program. Lang. Syst. (1994)

Keyphrases

operational semantics
formal semantics
programming language
hardware and software
data model
mental states
model theoretic
computer systems
denotational semantics
computer architecture
agent programming
activity diagrams
databases
declarative semantics
natural language