| slovo | definícia |
setl
(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), tuples
(ordered collections) and maps (collections of ordered pairs).
Expressions may include quantifiers ('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].
|
setl
(vera) | SETL
SEt Theory Language (New York Uni.), "SetL"
|
| | podobné slovo | definícia |
setline
(encz) | setline, n: |
dvousetletý
(czen) | dvousetletý,bicentennialadj: Zdeněk Brož |
setline
(wn) | setline
n 1: a long fishing line with many shorter lines and hooks
attached to it (usually suspended between buoys) [syn:
trawl, trawl line, spiller, setline, trotline] |
isetl
(foldoc) | ISETL
Interactive SETL by Gary Levin .
Binaries (ftp://sun.soe.clarkson.edu/) and source for
MS-DOS, Macintosh, Unix, VAX/VMS.
[Clarkson U. "An Introduction to ISETL Version 1.9",
G.M. Levin, Dept MCS, Clarkson U].
["Learning discrete mathematics with ISETL", Nancy Baxter.
Ed. Gary Levin Dubinsky. Springer-Verlag, c.1989.]
(Apr 1994)
|
setl/e
(foldoc) | ProSet
SETL/E
A derivative of SETL with Ada-like syntax developed at
the University of Essen in 1990. Formerly known as SETL/E.
["SETL/E, A Prototyping System Based on Sets", E.E. Doberkat
et al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, U
Karlsruhe, Nov 1990].
["ProSet - A Language for Prototyping with Sets",
E.-E. Doberkat et al, in Proc Third Intl Workshop on Rapid
System Prototyping, N. Kanopoulos ed, IEEE Comp Soc Press,
June 1992, pp. 235-248].
|
setl2
(foldoc) | SETL2
SETL with more conventional Ada-like syntax, {lexical
scope}, full block structure, first-class functions and a
package and library system. Ported to OS/2, MS-DOS (3.1
up), Extended MS-DOS (80286 and higher processors with
extended memory), Macintosh (with the MPW environment),
Sun-3 (SunOS 4), Sun-4 (SunOS 4), IBM RS/6000 (AIX 3.1), DEC
RISC product line (Ultrix 4.0), DEC Vaxen (Mt. Xinu Unix or
VMS).
(ftp://cs.nyu.edu/pub/languages/setl2). Please e-mail Kirk
Snyder if you take a copy.
["The SETL2 Programming Language", W. Kirk Snyder, Courant
Inst TR 490, Jan 1990].
|
|