/zed/ <language, specification> 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. <language, simulation> A stack-based, complex arithmetic
simulation language from ZOLA Technologies.
(1995-08-11)
Nearby terms:
YTalk « yu « Yu-Shiang Whole Fish « Z » Z++ » Z-1013 » Z180