Type-Constrained Generics for Z

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

• Type: Conference
• Year: 2000
• Where: ZUM
• Authors: Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
• Keywords: Formal Methods, Generic Parameters, Schema Calculus, ZUM 2000