Z programming language
|
|
/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)
Copied from the Free On-Line Dictionary Of Computing : http://foldoc.doc.ic.ac.uk/foldoc/index.html Cha2005
Also
Z is a problem specification language rather than a computer programming language as such. It is used to formalise an algorithm that might otherwise remain loosely defined, and thereby to verify the correctness of that algorithm by the analyst prior to having that algorithm programmed in a computer programming language by a programmer.Template:Compu-lang-stub