Meaning of Z in English


/zed/ < language , specification > 1. (After Zermelo-Frnkel 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 .


FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.