From Algebra to Operational Semantics.

Jifeng He C. A. R. Hoare

Published in: Inf. Process. Lett. (1993)

Keyphrases

operational semantics
data model
formal semantics
query language
mental states
relational algebra
model theoretic
activity diagrams
databases
database systems
agent programming
database
denotational semantics
mobile robot
logic programs
declarative semantics