Boiten, E. (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury
| Postscript | ||
|
Download (146Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
|
|
Download (183Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
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: | 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: | 06 Sep 2011 03:57 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/21530 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
