Towards Correct Executable Semantics for Z.
Peter T. BreuerJonathan P. BowenPublished in: Z User Workshop (1994)
Keyphrases
- formal semantics
- logic programming
- control flow
- database
- artificial intelligence
- case study
- attribute grammars
- argumentation semantics
- transformation rules
- intended meaning
- update semantics
- logical language
- operational semantics
- correct answers
- owl ontologies
- semantic representation
- formal specification
- neural network