/zed/ 1. (After zermelo-fränkel set theory) 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. A stack-based, complex arithmetic simulation language from zola technologies.