| dc.contributor.author | Henson, Martin C. | |
| dc.contributor.author | Reeves, Steve | |
| dc.date.accessioned | 2008-10-20T01:08:57Z | |
| dc.date.available | 2008-10-20T01:08:57Z | |
| dc.date.issued | 1998-03 | |
| dc.identifier.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. | en_US |
| dc.identifier.issn | 1170-487X | |
| dc.identifier.uri | https://hdl.handle.net/10289/1051 | |
| dc.description.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. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.publisher | University of Waikato, Department of Computer Science | en_US |
| dc.relation.ispartofseries | Computer Science Working Papers | |
| dc.subject | computer science | en_US |
| dc.title | New foundations for Z | en_US |
| dc.type | Working Paper | en_US |
| uow.relation.series | 98/6 | |
