Henson, M and Deutsch, M and Reeves, S (2008) Z Logic and Its Applications. In: Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, pp. 489-596. ISBN 9783540741060.
Henson, M and Deutsch, M and Reeves, S (2008) Z Logic and Its Applications. In: Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, pp. 489-596. ISBN 9783540741060.
Henson, M and Deutsch, M and Reeves, S (2008) Z Logic and Its Applications. In: Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, pp. 489-596. ISBN 9783540741060.
Abstract
We provide an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an informal as well as a formal introduction to Z logic and show how it may be used, and extended, to investigate issues such as equational logic, the logic of preconditions, operation and data refinement, and monotonicity.
Item Type: | Book Section |
---|---|
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
Depositing User: | Unnamed user with email elements@essex.ac.uk |
Date Deposited: | 10 Jan 2013 11:40 |
Last Modified: | 16 May 2024 17:57 |
URI: | http://repository.essex.ac.uk/id/eprint/5043 |