Top : Computers : Programming : Languages :
SETL
Websites
Offers sources, documentation and references to programming language SETL.
site exerpt
Other SETL Sources and Documentation The main reference for the SETL programming language is Schwartz, J.T Dewar, R.B.K Dubinsky, E and Schonberg, E Programming with Sets: An Introduction to SETL (1986 Springer-Verlag, New York. This is soon to be made available on-line as a series...SET Language: mathematical programming language closely resembling the language of sets and functions used by Mathematicians. Lets users define sets, then define functions and binary operations on the sets: reference documentation for the library of built-in operations.
http://cs1.cs.nyu.edu/bacon/setl-doc.html
SET Language 2, close relative of SETL, has some clumsy support for closures, an experimental (broken) object system, and redefines integer division to mean something different than in SETL: 3/2 yields 1.5 in SETL, but only 1 in SETL2.
ftp://cs.nyu.edu/pub/languages/setl2/
Interactive SET Language for Windows 95/98/Me/NT/2000/XP: downloads, documentation, bugs, sample problems.
http://isetlw.muc.edu/isetlw/default.asp
Interactive SET Language, distant SETL variant widely used in discrete mathematics: downloads on lower 2/3 of page, for DOS, Mac OS, Windows; source code available.
http://www.math.purdue.edu/~ccc/distribution.html
A dissertation by David Bacon.
http://cs1.cs.nyu.edu/~bacon/phd-thesis/diss/