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