Operational semantics of programming languages.

Published in: Proving Assertions About Programs (1972)

Keyphrases

operational semantics
denotational semantics
programming language
formal semantics
mental states
data model
software engineering
high level
database
object oriented
general purpose
database systems
theorem prover
programming environment
concurrent programming
activity diagrams