Handbook of theoretical computer science (vol. B)
The Z notation: a reference manual
The Z notation: a reference manual
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
The Object-Z specification language
The Object-Z specification language
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
An Extended Semantic Foundation For Object-Z
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Encoding Object-Z in Isabelle/HOL
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Theory of Generalised Substitutions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
| Hi-index | 0.00 |
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specified. In this paper, we provide a fixed point interpretation of such definitions. In addition, we provide simple guidelines for producing non-recursive schema definitions which are semantically identical to recursive ones.