2 definitions found
From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]:
SETL
SET Language. A very high level language based on sets,
designed by Jack Schwartz at the {Courant Institute} in the
early 1970s. It was possibly the first use of {list
comprehension} notation.
Data types include sets (unordered collections), {tuple}s
(ordered collections) and maps (collections of ordered pairs).
Expressions may include {quantifier}s ('for each' and
'exists'). The first {Ada} translator was written in SETL.
See also {ISETL}, {ProSet}, {SETL2}.
["Programming With Sets - An Introduction to SETL", Jacob
T. Schwartz et al Springer 1986].
From V.E.R.A. -- Virtual Entity of Relevant Acronyms 13 March 2001 [vera]:
SETL
SEt Theory Language (New York Uni.), SetL"
browse words 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
or search  
thesauri
dictionary
search words
|

Lake Atitlan, Guatemala
|