seal

n 1: a resinous composition that is plastic when warm; used for

sealing documents and parcels and letters [syn: {sealing

wax}]

2: a device incised to make an impression; used to secure a

closing or to authenticate documents [syn: {stamp}]

3: the pelt or fur (especially the underfur) of a seal; "a coat

of seal" [syn: {sealskin}]

4: a stamp affixed to a document (as to attest to its

authenticity or to seal it); "the warrant bore the

sheriff's seal"

5: an indication of approved or superior status [syn: {cachet},

{seal of approval}]

6: a finishing coating applied to seal out especially moisture

7: a tight and perfect closure

8: any of numerous marine mammals that come on shore to breed;

chiefly of cold regions

v 1: make tight; secure against leakage [syn: {seal off}]

2: close with a seal; "She selaed the letter with hot wax"

[ant: {unseal}]

3: decide irrevocably; "sealing dooms"

4: affix a seal to

5: cover with varnish [syn: {varnish}]

6: hunt seals

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].