Z

n : the ending of a series or sequence; "the Alpha and the

Omega, the first and the last, the beginning and the

end"--Revelation [syn: {omega}, {Z}]

Z

/zed/ 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}.

(1995-08-11)