Jump to content

Set theoretic programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by ZxPezz (talk | contribs) at 15:26, 31 January 2014 (Added additional introduction, reference, and an initial languages that have set-based operators). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL. The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability [1]

Languages With Set-Based Operators

References

  1. ^ J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with sets, an introduction to SETL. Springer-Verlag, 1986.