SETL2
Encyclopedia
SETL2 is a descendant of the SETL
programming language
.
SETL
SETL is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s....
programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
.
See also
- Set theoretic programmingSet theoretic programmingSet theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL....
- ProSetProSetProSet is a set theoretic programming language that is being developed at the University of Essen as a successor to SETL. It is a very-high level language that supports prototyping....
- ISETLW (programming language)
- ISETL (programming language)