Show simple item record  

dc.contributor.authorHenson, Martin C.en_US
dc.contributor.authorReeves, Steveen_US
dc.date.accessioned2008-03-19T04:58:22Z
dc.date.available2007-07-11en_US
dc.date.available2008-03-19T04:58:22Z
dc.date.issued1999-12-01en_US
dc.identifier.citationHenson, M.C. & Reeves, S. (1999). Revising Z: part I - logic and semantics. Formal Aspects of Computing, 11(4), 359-380.en_US
dc.identifier.urihttps://hdl.handle.net/10289/46
dc.description.abstractThis is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. 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 a basic schema calculus.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.rightsThe final definitive version of this article is available at Formal Aspects of Computing webpages through Springerlinken_US
dc.subjectspecification language Zen_US
dc.subjectlogics of specification languagesen_US
dc.subjectsemantics of specification languagesen_US
dc.titleRevising Z: part I - logic and semanticsen_US
dc.typeJournal Articleen_US
dc.identifier.doi10.1007/s001650050038en_US
dc.relation.isPartOfFormal Aspects of Computingen_NZ
pubs.begin-page359en_NZ
pubs.elements-id41054
pubs.end-page380en_NZ
pubs.issue4en_NZ
pubs.volume11en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record