Skip to main content

Z Unification Tools in Generic Formaliser

Boiten, Eerke Albert (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury

Download (149kB) Preview
Download (187kB) Preview


We describe some prototype tools for performing unification (i.e. deriving the least common refinement) of simple Z specifications. The techniques used are those described in on viewpoint specification in Z; the tools have been implemented in Generic (a product of Logica UK Limited). UKC Computing Laboratory technical report 10-97. The prototype tools themselves (in the form of Generic Formaliser grammars) will be made available later.

Item Type: Monograph (Technical report)
Uncontrolled keywords: Z, Formaliser, unification
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: E. Boiten
Date Deposited: 25 Jul 2009 18:14 UTC
Last Modified: 28 May 2019 14:00 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
  • Depositors only (login required):


Downloads per month over past year