New foundations for Z

Henson, Martin C.; Reeves, Steve

Files

uow-cs-wp-1998-06.pdf

2.491Mb

Citation

Export 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.

Permanent Research Commons link: https://hdl.handle.net/10289/1051

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.

Date

1998-03

Type

Working Paper

Series

Computer Science Working Papers

Report No.

98/6

Publisher

University of Waikato, Department of Computer Science

Collections

1998 Working Papers [18]