Availability of the SETL System SETL, a very high-level, set-theoretically oriented programming language developed with NSF and DOE support at New York University, is now available for distribution. As reported previously (see Bibliography below), SETL allows algorithms to be stated in compact, readable, relatively detail-free form. Intended uses include: (a) fast prototyping of complex software systems; (b) experimentation with new algorithms; (c) two-stage programming, in which development of a procedure is followed by specification of data structures which improve procedural efficiency; (d) education, via student exposure to easily readable versions of algorithms. The language has been used to implement a compiler for full Revised Ada, a global program optimizer with advanced automatic data-structuring facilities, several small compilers and assemblers, and miscellaneous other applications. An executable library of important algorithms is also being collected. Versions of SETL are now available for CDC Cyber, DEC VAX (VMS and UNIX), DECsystem 20 (TOPS-10 and TOPS-20), and IBM 370 (VM/CMS, MVS, and MTS). Additional details are given below. Note that the system is inherently large and slow-running. The system is available at a cost of $2000 to nonacademic sites and $100 to academic sites. The system is free to U.S. Government Agencies. The license permits use of the system for one year, and may be renewed. The fee includes user and installation documentation, and best-effort maintenance for a one year period. Requests for the system and related documents should be addressed to: Alison Sundheim NYU-CIMS 251 Mercer Street New York, N.Y. 10012 Phone (212) 460-7485 Technical inquiries should be addressed to: Stefan M. Freudenberger NYU-CIMS 251 Mercer Street New York, N.Y. 10012 Phone (212) 460-7266 The current NYU implementation is written in an implementation language called LITTLE. The following versions are quite compatible and differ for the most part only in machine-dependent constraints such as memory size and character set. CDC Cyber: This version can be configured for the NOS and NOS/BE ___ _____ operating systems, using either the 63 or 64 character set. It requires at least 200000 octal words for small programs. DEC VAX-11: The VMS version runs under VMS V3.4. The value of the ___ ______ system configuration parameter VIRTUALPAGECNT must be at least 8192. A version for Berkeley 4.2bsd UNIX is also available. DEC DECsystem-10, DECsystem-20: A version for the DECsystem-20 ___ _____________ ____________ running TOPS-20 is available. It should also be usable on TOPS-10 and TENEX operating systems. IBM System/370: There are implementations for VM/CMS, MVS, and MTS. ___ __________ The CMS version requires a virtual machine of at least three megabytes, and runs on CMS Release 6 or SP. BIBLIOGRAPHY 1. Dewar, R.B.K., Grand, A., Liu, S.C., Schwartz, J., and Schonberg, E. Programming by refinement, as exemplified by the SETL representation sublanguage. ACM Trans. Program. Lang. Syst. 1,1 ___ ______ ________ _____ _____ _ (July 1979), 27-49. 2. Dewar, R.B.K., and Schonberg, E. The elements of SETL style. In ACM 79: Proceedings of the 1979 Annual Conference, Detroit, ___ __ Mich., Oct. 29-31, 1979, pp. 24-32. 3. Dewar, R.B.K., Schonberg, E., and Schwartz, J.T. Higher Level ______ _____ Programming: Introduction to the Set-Theoretic Programming ____________ ____________ __ ___ _____________ ___________ Language SETL. Courant Inst. of Mathematical Sciences, New York ________ ____ Univ., New York, 1981. 4. Freudenberger, S.M., Schwartz, J.T., and Sharir, M. Experience with the SETL optimizer. ACM Trans. Program. Lang. Syst. 5,1 ___ ______ ________ _____ _____ _ (Jan. 1983), 26-45. 5. Schonberg, E., Schwartz, J.T., and Sharir, M. An automatic technique for selection of data representations in SETL programs. ACM Trans. Program. Lang. Syst. 3,2 (April 1981), 126-143. ___ ______ ________ _____ _____ _ 6. Schwartz, J.T. On Programming: An Interim Report on the SETL __ ____________ __ _______ ______ __ ___ ____ Project, 2d ed. Courant Inst. of Mathematical Sciences, New York _______ Univ., New York, 1975. AGREEMENT FOR USE OF THE SETL SYSTEM Please send us one copy of the SETL System for the configuration described below. We understand this payment entitles us to use the system for a period of one year, and that we will receive all future versions for a period of one year, including all modifications and corrections, as they are made available. The only restriction placed on the use of the system is that it may be used only at a single site (as indicated below). We enclose payment of the subscription fee as indicated below by either check or purchase order. Send indicated version (one copy per order only, circle desired configuration): CDC 6000: NOS NOS/BE Character Set: 63 64 DEC VAX-11: VMS V3.4 Berkeley UNIX 4.2bsd DEC DECsystem-10: TOPS-20 TENEX TOPS-10 IBM System/370: CMS (Release 6 or SP) MVS MTS MAINTENANCE FEE SCHEDULE (check one) Nonacademic, $2000.00 ________ Academic, $100.00 ________ U.S. Government Agencies, no fee ________ EXTRA CHARGES (check if applicable) Outside the Continental United States and Canada, $50.00 ________ Send materials to (please print) NAME: ____________________________________________ COMPANY: ____________________________________________ ADDRESS: ____________________________________________ CITY, STATE, ZIP: __________________________________________ AUTHORIZED SIGNATURE: ____________________________________ DATE: ____________________________________ PHONE: ____________________________________ Checks should be made payable to New York University. ___ ____ __________ Return this The SETL Project This request constitutes form to: CIMS-251 Mercer Street an agreement for New York, NY 10012 limited use. Attn: Vito Rizzo AGREEMENT FOR CONTINUED USE OF THE SETL SYSTEM Please continue our agreement for use of the SETL system, and send us one copy of the SETL System for the configuration described below. We understand this payment entitles us to use the system for a period of one year, and that we will receive all future versions for a period of one year, including all modifications and corrections, as they are made available. The only restriction placed on the use of the system is that it may be used only at a single site (as indicated below). We enclose payment of the subscription fee as indicated below by either check or purchase order. Send indicated version (one copy per order only, circle desired configuration): CDC 6000: NOS NOS/BE Character Set: 63 64 DEC VAX-11: VMS V3.4 Berkeley UNIX 4.2bsd DEC DECsystem-10: TOPS-20 TENEX TOPS-10 IBM System/370: CMS (Release 6 or SP) MVS MTS MAINTENANCE FEE SCHEDULE FOR CONTINUED USE (check one) Nonacademic, $500.00 ________ Academic, $100.00 ________ U.S. Government Agencies, no fee ________ EXTRA CHARGES (check if applicable) Outside the Continental United States and Canada, $50.00 ________ Send materials to (please print) NAME: ____________________________________________ COMPANY: ____________________________________________ ADDRESS: ____________________________________________ CITY, STATE, ZIP: __________________________________________ AUTHORIZED SIGNATURE: ____________________________________ DATE: ____________________________________ PHONE: ____________________________________ Checks should be made payable to New York University. ___ ____ __________ Return this The SETL Project This request constitutes form to: CIMS-251 Mercer Street an agreement for New York, NY 10012 limited use. Attn: Vito Rizzo REQUEST FOR SETL DOCUMENTS Please send the documents indicated below. I enclose payment or purchase order. Unit Total Description Qty Cost Cost ________________________________________________________________ The SETL Programming Language, by Robert B. K. Dewar ___ $10.00 ________ Higher Level Programming: Introduction to SETL, by Dewar, Schonberg, Schwartz ___ $14.00 ________ SETL User Manual, by David Shields ___ $5.00 ________ (This document is included on the SETL distribution tape.) Subtotal .................................... ________ Extra charge (outside Continental United States and Canada) $5.00 ________ TOTAL........................................ ________ Send materials to (please print) NAME: ____________________________________________ COMPANY: ____________________________________________ ADDRESS: ____________________________________________ CITY, STATE, ZIP: __________________________________________ ------------------------------------------------------------ FOR OFFICE USE ONLY DO NOT WRITE BELOW THIS LINE Date Received _____________ Date Shipped ___________ ------------------------------------------------------------ Checks should be made payable to New York University. ___ ____ __________ Return this The SETL Project form to: CIMS-251 Mercer Street New York, NY 10012 Attn: Vito Rizzo