dict.org

The DICT Development Group


Search for:
Search type:
Database:

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) :

  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)
  

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