Henson, M. C. & Reeves, S. (1998). New foundations for Z. (Working paper 98/6). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: http://hdl.handle.net/10289/1051
We provide a constructive and intensional interpretation for the specification language Z in a theory of operations and kinds T. The motivation is to facilitate the development of an integrated approach to program construction. We illustrate the new foundations for Z with examples.
University of Waikato, Department of Computer Science
- 1998 Working Papers