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

< Previous Terms |
Terms Containing Z |
Next Terms > |

YSM yt YTalk yu Yu-Shiang Whole Fish |
0/1 knapsack problem 100BaseVG 16 bit 386BSD 386SPART.PAR |
Z++ Z-1013 Z180 Z3 Z39.50 |