Login / Signup
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.
Martin Gogolla
Klaus Drosten
Udo W. Lipeck
Hans-Dieter Ehrich
Published in:
Theor. Comput. Sci. (1984)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
mental states
data model
declarative semantics
artificial intelligence
denotational semantics
activity diagrams
speech acts
databases
case study
object oriented
theorem prover