## Z

/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. A stack-based, complex arithmetic simulation language from ZOLA Technologies.

Last updated: 1995-08-11

### Nearby terms:

yt ♦ YTalk ♦ yu ♦ Yu-Shiang Whole Fish ♦ **Z** ♦ Z++ ♦ Z-1013 ♦ Z180 ♦ Z3 ♦ Z39.50

Try this search on Wikipedia, OneLook, Google