Z Programming Language

Z is a problem specification language rather than a computer programming language as such. It is used to formalise an algorithm that might otherwise remain loosely defined, and thereby to verify the correctness of that algorithm by the analyst prior to having that algorithm programmed in a computer programming language by a programmer.

 

<< PreviousWord BrowserNext >>
phil woolas
john arbuthnot du cane wilkinson
tony worthington
anthony david wright
tony wright (staffordshire politician)
tony wright
birdsville, queensland
iowa caucus
the blithedale romance
cardiff city f.c.
koreatown, los angeles, california
mass market paperback
coventry city f.c.
global consciousness project
millwall f.c.
the pros and cons of hitch hiking
ghetto uprising
north hollywood, los angeles, california
ermine moth
bill rexford
glucoside
walter alvarez
catholicos patriarch of all georgia
immortal memory (album)
category of topological spaces
trolley park
ailanthus webworm
sky surfer
melon headed whale
the magical number seven, plus or minus two
representative peer
rowf
eroica
snitter
mark wing davey
nursery (horticulture)
lenition
verb framing
parnavaz i of iberia
urn problem
marketroid
bob goodlatte
uss albacore
uss albacore (ss 218)