Show simple item record  

dc.contributor.authorHenson, Martin C.
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-10-20T00:57:14Z
dc.date.available2008-10-20T00:57:14Z
dc.date.issued1998-03
dc.identifier.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.en_US
dc.identifier.issn1170-487X
dc.identifier.urihttps://hdl.handle.net/10289/1049
dc.description.abstractWe 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.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_US
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.subjectspecification language Zen_US
dc.subjectlogics and semantics of specification languagesen_US
dc.titleRevising Z: semantics and logicen_US
dc.typeWorking Paperen_US
uow.relation.series98/4
pubs.elements-id54746
pubs.place-of-publicationHamiltonen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record