Personal tools
You are here: Home → Projects → SETL → SETL → Documents
Navigation
Log in


Forgot your password?
 
Views
Document Actions

Documents

Up one level
 Title   Size   Modified   State 
H. S. Warren, Jr. ASL, a proposed variant of SETL (preliminary). May 1973. 11.7 MB 2021-03-22 18:18 Public
Robert Abes, editor. SETL Master Catalog: A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at New York University on the SETL Set-Theoretic Programming Language. October 1973. 1.5 MB 2021-04-22 19:59 Public
Aron M. Tenenbaum. Type determination for very high level languages. October 1974. 5.6 MB 2021-02-28 11:37 Public
Jacob T. Schwartz. ON PROGRAMMING: An Interim Report on the SETL Project. Part I: Generalities; Part II: The SETL Language and Examples of Its Use. Revised June 1975. 20.1 MB 2021-04-22 20:00 Public
Peter Markstein. Operating System Specification Using Very High Level Dictions. Ph.D. thesis, New York University, June 1975. 62.8 MB 2021-03-27 13:41 Public
M. Davis and J. T. Schwartz; appendix by E. Deak. Correct-program technology/Extensibility of verifiers. Two papers on program verification. Courant Computer Science Report Number 12, September 1977. 5.6 MB 2021-09-23 14:10 Public
Edith Deak, M. Shimasaki, and J. Schwartz. MIDL: a hybrid language of medium level. In: A. Ershov and C. H. A. Koster (eds). Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science, vol 47. Springer, Berlin, Heidelberg, 1977. 306.3 kB 2021-03-14 10:56 Public
Progress Report No. 54, October 1, 1977 to September 30, 1978. December 1, 1978. 2.5 MB 2021-02-25 18:26 Public
R. Grishman. The structure of the PUMA computer system: Overview and the central processor. 1978. 2.3 MB 2021-03-15 15:31 Public
Robert B. K. Dewar. The SETL Programming Language. 1979. 443.2 kB 2021-02-23 13:36 Public
J.T. Schwartz and M. Sharir. A Design for Optimizations of the Bitvectoring Class. September 1979. 4.5 MB 2021-02-25 15:16 Public
Ssu-cheng Liu and Robert Paige. Data structure choice/formal differentiation : Two papers on very high level program optimization. September 1979. 20.7 MB 2021-02-25 17:16 Public
Jacob T. Schwartz. Internal, external, and pragmatic influences: technical perspectives in the development of programming languages. July 1980. 2.9 MB 2021-09-23 14:11 Public
R. B. K. Dewar E. Schonberg and J. T. Schwartz. Higher Level Programming: Introduction to the use of the Set-Theoretic programming language SETL. Preliminary Trial Edition - Summer 1981. 36.3 MB 2021-02-23 13:52 Public
David Shields. SETL User Manual. Version: 30, 24 July 1984. 251.7 kB 2021-03-17 21:40 Public
Gerald Weiss. Recursive data types in SETL: automatic determination, data language description, and efficient implementation. March 1986. 5.0 MB 2021-02-25 17:48 Public
Gerald Weiss and Edmond Schonberg. Typefinding Recursive Structures: A Data-Flow Analysis in the Presence of Infinite Type Sets. August 1986. 837.6 kB 2021-02-25 17:57 Public
Fritz Henglein. Polymorphic type inference and semi-unification. May 1989. 743.4 kB 2021-03-21 20:54 Public
Michael N. Condict. The Denotational Semantics of SETL. 9 June 1983. 7.9 MB 2021-11-14 13:50 Public
Fritz Henglein. A Type Algebra for SETL: Preliminary Proposal. 13 March 1987. 150.3 kB 2021-11-14 13:54 Public
Fritz Henglein. Theoretical Issues in Type Inference -- A Final Report on the Status of Strong Typing for SETL. 31 Mar 1988. 128.8 kB 2021-11-14 14:00 Public
Fritz Henglein. Strong Typing in SETL: An overview of work on strong typing in the NYU/SETL project. 31 Mar 1988 140.3 kB 2021-11-14 14:02 Public
Fritz Henglein. Algebraic Properties of Semi-Unification. 12 October 1988. 5.7 MB 2021-11-14 14:06 Public
Fritz Henglein. Equivalences. 30 Oct 1988. 927.7 kB 2021-11-14 14:11 Public
Fritz Henglein. On Polymorphic Type Inference and Semi-Unication: Algebraic, Computational, and Conceptual Results (Technical Summary). 26 Jul 1989. 280.6 kB 2021-11-14 14:12 Public
Fritz Henglein. A Type Inference System for SETL. 19 June 1987 168.7 kB 2021-11-14 14:20 Public
Fritz Henglein and Kenneth J. Perry. On the Complexity of ML+ Type Inference. Summer 1988. 2.4 MB 2021-11-15 16:22 Public
Jacob T. Schwartz. Abstract algorithms and a set theoretic language for their expression. Computer 126.3 MB 2022-11-15 19:52 Public
Henry Mullish and Max Goldstein. A SETLB primer: a step-by-step tutorial with over 100 illustrative programettes. June 1973. 53.6 MB 2022-11-15 19:55 Public
Adrian Walker. SYLLOG: a knowledge based data management system. Technical Report #34, June 1981. 1.2 MB 2023-05-19 13:37 Public
« May 2025 »
Su Mo Tu We Th Fr Sa
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
 
Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: