Boiten, Eerke Albert (1997) Z Unification Tools in Generic Formaliser. Technical report. University of Kent at Canterbury (KAR id:21530)
|
Postscript
Language: English |
|
|
Download this file (Postscript/149kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
|
PDF
Language: English |
|
|
Download this file (PDF/187kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
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: | Reports and Papers (Technical report) |
|---|---|
| Uncontrolled keywords: | Z, Formaliser, unification |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
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: | 20 May 2025 10:09 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/21530 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Boiten, Eerke Albert.
| Creator's ORCID: |
 https://orcid.org/0000-0002-9184-8968
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Total Views
Total Views
