Additional
Information: A growing family of languages based on Set Theory and related notation and principles. Used mostly in mathematics by mathematicians, and in education to teach Mathematics.
SETL Sites:
ISETL ISETL: 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. (SETL) http://www.math.purdue.edu/~ccc/distribution.html
SETL Documentation SETL Documentation: 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 (SETL) http://cs1.cs.nyu.edu/bacon/setl-doc.html
SETL2 SETL2: 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. (SETL) ftp://cs.nyu.edu/pub/languages/setl2/
Other SETL Sources and Documentation Other SETL Sources and Documentation: Offers sources, documentation and references to programming language SETL. (SETL) http://galt.cs.nyu.edu/%7ebacon/other-setl.html
SETL for Internet Data Processing SETL for Internet Data Processing: A dissertation by David Bacon. (SETL) http://cs1.cs.nyu.edu/~bacon/phd-thesis/diss/
ISETLW ISETLW: Interactive SET Language for Windows 95/98/Me/NT/2000/XP: downloads, documentation, bugs, sample problems. (SETL) http://isetlw.muc.edu/isetlw/default.asp
Additional
Information: A growing family of languages based on Set Theory and related notation and principles. Used mostly in mathematics by mathematicians, and in education to teach Mathematics.
-
