Programming Language - Z

Z

Z -
1. ("zed") Programming Research Group, Oxford U, ca 1980. A
specification language based on axiomatic set theory and first order
predicate logic. Uses many non-ASCII symbols. Used in the IBM CICS
project? "Understanding Z", J.M. Spivey, Cambridge U Press 1988. An
embedding of Z in HOL available from ICL
2. A stack-based, complex arithmetic simulation language. ZOLA
Technologies, ZOLA@Applelink.Apple.com.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

9 plus 8? *   Robot Spam Prevention

 

Next Language:   Z++

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z