Revising Z: part I - logic and semantics

Henson, Martin C.; Reeves, Steve

doi:10.1007/s001650050038

Files

content.pdf

189.5Kb

DOI

10.1007/s001650050038

Citation

Export citation

Henson, M.C. & Reeves, S. (1999). Revising Z: part I - logic and semantics. Formal Aspects of Computing, 11(4), 359-380.

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

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.

Date

1999-12-01

Type

Journal Article

Rights

The final definitive version of this article is available at Formal Aspects of Computing webpages through Springerlink

Collections

Computing and Mathematical Sciences Papers [1455]