Z

/zed/ <language> 1. A specification language developed by the Programming Research Group at Oxford University around 1980. Z is used for describing and modelling computing systems. It is based on axiomatic set theory and first order predicate logic. Z is written using many non-ASCII symbols. It was used in the IBM CICS project.

See also Z++.

["Understanding Z", J.M. Spivey, Cambridge U Press 1988].

2. <language, simulation> A stack-based, complex arithmetic simulation language from ZOLA Technologies.

(11 Aug 1995)

Z++

<language> An object-oriented extension of Z.

["Z++, an Object-Oriented Extension to Z", Lano, Z User Workshop, Oxford 1990, Springer Workshops in Computing, 1991, pp.151-172].

(22 Apr 1995)