Algebraic and operational semantics of exceptions and errors.

Martin Gogolla Klaus Drosten Udo W. Lipeck Hans-Dieter Ehrich

Published in: Theoretical Computer Science (1983)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
declarative semantics
data model
agent programming
denotational semantics
activity diagrams
database
cooperative