Z

/zed/ language, specification 1. (After Zermelo-Frankel settheory) 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 predicatelogic. 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.

(1995-08-11)