Z Unification Tools in Generic Formaliser

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

Postscript Language: English
Click to download this file (149kB) Preview	Preview
This file may not be suitable for users of assistive technology. Request an accessible format
PDF Language: English
Click to download this file (187kB) Preview	Preview
This file may not be suitable for users of assistive technology. Request an accessible format

Abstract

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:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Eerke Boiten
Date Deposited:	25 Jul 2009 18:14 UTC
Last Modified:	16 Nov 2021 09:59 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):

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.