Z

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.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Z

(1) A line of mainframes from IBM. See IBM Z.

(2) A mathematical language used for developing the functional specification of a software program. Developed in the late 1970s at Oxford University, IBM's CICS software is specified in Z.

Copyright © 1981-2025 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.