Database copyright information Server information Wiki: Resources, links, and other information

Z /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. (1995-08-11)