© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Z unification tools in Generic Formaliser
E. Boiten
Technical Report 10-97*, Computing Laboratory, University of Kent at Canterbury, March 1997.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 earlier research papers on viewpoint specification in Z; the tools have been implemented in Generic 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.
Download publication 60 kbytesBibtex Record
@techreport{195,
author = {E. Boiten},
title = {{Z} Unification Tools in {G}eneric {F}ormaliser},
month = {March},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/195},
institution = {Computing Laboratory, University of Kent at Canterbury},
number = {10-97*},
}