Type-Constrained Generics for Z

Authors:
Samuel H. Valentine;Ian Toyn;Susan Stepney;Steve King
Affiliations:
-;-;-;-
Venue:
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Year:
2000

Citing 6
Cited 1

The Z notation: a reference manual

The Z notation: a reference manual
Operation Schema Iterations

Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Z--, an Executable Subset of Z

Proceedings of the Z User Workshop
Equal Rights for Schemas in Z

ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
W Reconstructed

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
W: A Logic for Z

Proceedings of the Z User Workshop

Typechecking Z

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.