Revising Z: semantics and logic
Citation
Export citationHenson, M. C. & Reeves, S. (1998). Revising Z: semantics and logic. (Working paper 98/4). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/1049
Abstract
We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We then provide an interpretation for (a rational reconstruction of) the specification language Z within Zc. As a result we obtain a sound logic for Z, including the schema calculus. A consequence of our formalisation is a critique of a number of concepts used in Z. We demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.
Date
1998-03Type
Report No.
98/4
Publisher
University of Waikato, Department of Computer Science
Collections
- 1998 Working Papers [18]