Proof Styles in Operational Semantics.

Sandip Ray J Strother Moore

Published in: FMCAD (2004)

Keyphrases

operational semantics
formal semantics
theorem prover
mental states
model theoretic
declarative semantics
data model
theorem proving
denotational semantics
activity diagrams
natural language
relational databases
email
logic programs
agent programming