Research Repository

Z Logic and Its Applications

Henson, M and Deutsch, M and Reeves, S (2008) 'Z Logic and Its Applications.' In: Henson, M and Bjorner, D, (eds.) Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, 489 - 596. ISBN 9783540741060

Full text not available from this repository.


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 > Computer Science and Electronic Engineering, School of
Depositing User: Jim Jamieson
Date Deposited: 10 Jan 2013 11:40
Last Modified: 17 Aug 2017 18:04

Actions (login required)

View Item View Item