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