Z Unification Tools in Generic Formaliser

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

Download (149kB)
Download (187kB)


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 http://alethea.ukc.ac.uk/Dept/Computing/Research/NDS/consistency/cccfpsiZ.html on viewpoint specification in Z; the tools have been implemented in Generic http://public.logica.com/formaliser (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 > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 25 Jul 2009 18:14
Last Modified: 13 May 2014 08:25
Resource URI: https://kar.kent.ac.uk/id/eprint/21530 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year