You are here: irt.org | FOLDOC | 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.

(1995-08-11)

Nearby terms: YTalk « yu « Yu-Shiang Whole Fish « **Z** » Z++ » Z-1013 » Z180

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL