By the same authors

Type-Constrained Generics for Z

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2000
Original languageUndefined/Unknown


We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to define in Z much of its own schema calculus and refinement rules.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations