/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 >|
Yu-Shiang Whole Fish
|0/1 knapsack problem