Programming an interim report on the SETL project. Part I: generalities. Part II: the SETL language and examples of its use
A summary of work during the past several years on SETL, a new programming language drawing its dictions and basic concepts from the mathematical theory of sets, is presented. The work was started with the idea that a programming language modeled after an appropriate version of the formal language of mathematics might allow a programming style with some of the succinctness of mathematics, and that this might ultimately enable one to express and experiment with more complex algorithms than are now within reach. Part I discusses the general approach followed in the work. Part II focuses directly on the details of the SETL language as it is now defined. It describes the facilities of SETL, includes short libraries of miscellaneous and of code optimization algorithms illustrating the use of SETL, and gives a detailed description of the manner in which the set-theoretic primitives provided by SETL are currently implemented. (RWR)
- Research Organization:
- New York Univ., N.Y. (USA). Courant Inst. of Mathematical Sciences
- Sponsoring Organization:
- US Energy Research and Development Administration (ERDA)
- OSTI ID:
- 7196480
- Report Number(s):
- COO-3077-94
- Country of Publication:
- United States
- Language:
- English
Similar Records
Spatial aggregation: Language and applications
Software overview manual. [In assembly language for PDP-11]
ROSS language manual
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:430703
Software overview manual. [In assembly language for PDP-11]
Technical Report
·
Fri Oct 31 23:00:00 EST 1980
·
OSTI ID:7090274
ROSS language manual
Technical Report
·
Wed Sep 01 00:00:00 EDT 1982
·
OSTI ID:6745126