The DICT Development Group

Search for:
Search type:

Database copyright information
Server information
Wiki: Resources, links, and other information

1 definition found
 for z
From The Free On-line Dictionary of Computing (18 March 2015) :

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

Questions or comments about this site? Contact webmaster@dict.org