Z Unification Tools in Generic Formaliser

Boiten, Eerke Albert (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 > Sciences > School of Computing > Theoretical Computing Group
Depositing User: E.A. Boiten
Date Deposited: 25 Jul 2009 18:14 UTC
Last Modified: 20 Oct 2015 14:15 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21530 (The current URI for this page, for reference purposes)
Boiten, Eerke Albert: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):


Downloads per month over past year