| dc.contributor.author | Henson, Martin C. | en_US |
| dc.contributor.author | Reeves, Steve | en_US |
| dc.date.accessioned | 2008-03-19T04:58:22Z | |
| dc.date.available | 2007-07-11 | en_US |
| dc.date.available | 2008-03-19T04:58:22Z | |
| dc.date.issued | 1999-12-01 | en_US |
| dc.identifier.citation | Henson, M.C. & Reeves, S. (1999). Revising Z: part I - logic and semantics. Formal Aspects of Computing, 11(4), 359-380. | en_US |
| dc.identifier.uri | https://hdl.handle.net/10289/46 | |
| dc.description.abstract | This 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.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.rights | The final definitive version of this article is available at Formal Aspects of Computing webpages through Springerlink | en_US |
| dc.subject | specification language Z | en_US |
| dc.subject | logics of specification languages | en_US |
| dc.subject | semantics of specification languages | en_US |
| dc.title | Revising Z: part I - logic and semantics | en_US |
| dc.type | Journal Article | en_US |
| dc.identifier.doi | 10.1007/s001650050038 | en_US |
| dc.relation.isPartOf | Formal Aspects of Computing | en_NZ |
| pubs.begin-page | 359 | en_NZ |
| pubs.elements-id | 41054 | |
| pubs.end-page | 380 | en_NZ |
| pubs.issue | 4 | en_NZ |
| pubs.volume | 11 | en_NZ |
