DuckCorp

DuckCorp Dico

(RFC 2229 compliant dictionary server)

Found one definition

  1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                    

    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)