School of Computing

Unification and multiple views of data in Z

E. Boiten, J. Derrick, H. Bowman, and M. Steen

In J.C. van Vliet, editor, Computing Science in the Netherlands, pages 182-196, Amsterdam, November 1995. Stichting Mathematisch Centrum.


This paper discusses the unification of Z specifications, in particular specifications that maintain different representations of what is intended to be the same datatype. Essentially this amounts to integrating previously published techniques for combining multiple viewpoints and for combining multiple views. It is shown how the technique proposed in this paper indeed produces unifications, and that it generalises both previous techniques.

Download publication 43 kbytes

Bibtex Record

author = {E. Boiten and J. Derrick and H. Bowman and M. Steen},
title = {Unification and multiple views of data in {Z}},
month = {November},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {90 6196 460 1},
    address = {Amsterdam},
    booktitle = {Computing Science in the Netherlands},
    editor = {J.C. van Vliet},
    publisher = {Stichting Mathematisch Centrum},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014