Results 1 
2 of
2
Investigating Z
, 2000
"... In this paper we introduce and investigate an improved kernel logic ZC for the specification language Z. Unlike the standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete schema calculus can be derived within this logic and in doing so we reveal a high de ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
In this paper we introduce and investigate an improved kernel logic ZC for the specification language Z. Unlike the standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete schema calculus can be derived within this logic and in doing so we reveal a high degree of logical organisation within the language. Finally, our approach eschews all nonstandard concepts introduced in the standard approach, notably object level notions of substitution and entities which share properties both of constants and variables. We show, in addition, that these unusual notions are derivable in ZC and are, therefore, unnecessary innovations. Keywords: Specification language Z; Logic and semantics of specification languages. 1 Introduction In this paper we introduce and investigate an improved kernel logic ZC for the specification language Z, a logic in which, in particular, we can derive a schema calculus: a logic for the entire range of schema expressions permit...
Recursive Definitions in Z
 ZUMâ€™98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science
, 1998
"... This paper considers some issues in the theory and practice of defining functions over recursive data types in Z. Principles justifying such definitions are formulated. Z free types are contrasted with the free algebras of universal algebra: the notions turn out to be related but not isomorphic. ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
This paper considers some issues in the theory and practice of defining functions over recursive data types in Z. Principles justifying such definitions are formulated. Z free types are contrasted with the free algebras of universal algebra: the notions turn out to be related but not isomorphic.