Programming Language - Euclid

Euclid

Euclid - (named for the Greek geometer, fl ca 300 BC.) A Pascal descendant
for development of verifiable system software. No goto, no side effects,
no global assignments, no functional arguments, no nested procedures, no
floats, no enumeration types. Pointers are treated as indices of special
arrays called collections. To prevent aliasing, Euclid forbids any overlap
in the list of actual parameters of a procedure. Each procedure gives an
imports list, and the compiler determines the identifiers that are
implicitly imported. Iterators. "Report on the Programming Language
Euclid", B.W. Lampson et al, SIGPLAN Notices 12(2):1-79 (Feb 1977).

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

6 plus 3? *   Robot Spam Prevention

 

Next Language:   EULER

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