Publication: New foundations for Z
Authors
Loading...
Permanent Link
Publisher link
Rights
Abstract
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.
Citation
Henson, M. C. & Reeves, S. (1998). New foundations for Z. (Working paper 98/6). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Type
Series name
Date
Publisher
University of Waikato, Department of Computer Science