Personal tools
You are here: Home Projects SETL SETL SETL Newsletters
Document Actions

SETL Newsletters

Up one level

NYU SETL Project. SETL Newsletters. Numbers 1–234, Courant Institute of Mathematical Sciences, New York University, 1970–1981 and 1985–1989.

J. T. Schwartz and M. Sharir. SETL Newsletter Number 204: Tarjans fast interval finding algorithm. 3 March 1978. by Paul McJones — last modified 2021-02-26 20:37
J. T. Schwartz and M. Sharir. SETL Newsletter Number 204: Tarjans fast interval finding algorithm. 3 March 1978.
M. C. Harrison. BALM-SETL: A simple implementation of SETL. SETL Newsletter, Number 1, November 1970. by Paul McJones — last modified 2021-03-10 12:06
M. C. Harrison. BALM-SETL: A simple implementation of SETL. SETL Newsletter, Number 1, 5 November 1970.
Pat Goldberg. A critical comment. SETL Newsletter, Number 2, 10 November 1970. by Paul McJones — last modified 2021-03-10 13:54
Pat Goldberg. A critical comment. SETL Newsletter, Number 2, 10 November 1970.
Anonymous. [Modifications and extensions for SETL. Part 1.] SETL Newsletter, Number 3, 17 November 1970. by Paul McJones — last modified 2021-03-10 14:01
Anonymous. [Modifications and extensions for SETL. Part 1.] SETL Newsletter, Number 3, 17 November 1970.
Anonymous. APL Version of Peter Markstein's McKeeman Table Routine. SETL Newsletter, Number 4, 17 November 1970. by Paul McJones — last modified 2021-03-10 14:01
Anonymous. APL Version of Peter Markstein's McKeeman Table Routine. SETL Newsletter, Number 4, 17 November 1970.
J. T. Schwartz. Miscellaneous algorithms written in SETL. SETL Newsletter, Number 5, 18 November 1970. by Paul McJones — last modified 2021-03-10 14:04
J. T. Schwartz. Miscellaneous algorithms written in SETL. SETL Newsletter, Number 5, 18 November 1970.
Peter Markstein. [Revised SETL version of McKeeman parse.] SETL Newsletter, Number 6, 20 November 1970. by Paul McJones — last modified 2021-03-10 14:21
Peter Markstein. [Revised SETL version of McKeeman parse.] SETL Newsletter, Number 6, 20 November 1970.
Dave Shields. [Modifications and extensions for SETL. Part 2.] SETL Newsletter, Number 7, 24 November 1970. by Paul McJones — last modified 2021-03-10 14:22
Dave Shields. [Modifications and extensions for SETL. Part 2.] SETL Newsletter, Number 7, 24 November 1970.
J. T. Schwartz. Additional miscellaneous SETL algorithms. SETL Newsletter, Number 8, 25 November 1970. by Paul McJones — last modified 2021-03-10 14:22
J. T. Schwartz. Additional miscellaneous SETL algorithms. SETL Newsletter, Number 8, 25 November 1970.
M. C. Harrison. Implementation and language design. SETL Newsletter, Number 9, 1 December 1970. by Paul McJones — last modified 2021-03-10 14:23
M. C. Harrison. Implementation and language design. SETL Newsletter, Number 9, 1 December 1970.
Kurt Maly. Sorting algorithm. SETL Newsletter, Number 10, 9 December 1970. by Paul McJones — last modified 2021-03-10 14:34
Kurt Maly. Sorting algorithm. SETL Newsletter, Number 10, 9 December 1970.
Dave Shields. [Modifications and extensions for SETL. Part 3.] SETL Newsletter, Number 11, 22 December 1970. by Paul McJones — last modified 2021-03-10 14:36
Dave Shields. [Modifications and extensions for SETL. Part 3.] SETL Newsletter, Number 11, 22 December 1970.
Jack Schwartz. Recapitulation of the basic parts of the SETL language. SETL Newsletter, Number 12, 12 January 1971. by Paul McJones — last modified 2021-03-10 14:51
Jack Schwartz. Recapitulation of the basic parts of the SETL language. SETL Newsletter, Number 12, 12 January 1971.
J. T. Schwartz. Additional miscellaneous algorithms. SETL Newsletter, Number 13, 14 January 1971. by Paul McJones — last modified 2021-03-10 15:24
J. T. Schwartz. Additional miscellaneous algorithms. SETL Newsletter, Number 13, 14 January 1971.
J. T. Schwartz. Additional syntactic extensions (not recorded in revised version of SETL paper). SETL Newsletter, Number 14, 19 January 1971. by Paul McJones — last modified 2021-03-10 15:28
J. T. Schwartz. Additional syntactic extensions (not recorded in revised version of SETL paper). SETL Newsletter, Number 14, 19 January 1971.
J. T. Schwartz. A proposed SETL implementation plan through the end of the bootstrap phase. SETL Newsletter, Number 15, 9 February 1971. by Paul McJones — last modified 2021-03-10 15:33
J. T. Schwartz. A proposed SETL implementation plan through the end of the bootstrap phase. SETL Newsletter, Number 15, 9 February 1971.
Kurt Maly. SETL 64-character set / 48-character set (026 keypunch) / CDC6600 64-character set (029 keypunch). SETL Newsletter, Number 16, 12 February 1971. by Paul McJones — last modified 2021-03-10 15:43
Kurt Maly. SETL 64-character set / 48-character set (026 keypunch) / CDC6600 64-character set (029 keypunch). SETL Newsletter, Number 16, 12 February 1971.
D. Shields. Preliminary specification of BALMSETL conventions. SETL Newsletter, Number 18, 19 February 1971. by Paul McJones — last modified 2021-03-10 15:48
D. Shields. Preliminary specification of BALMSETL conventions. SETL Newsletter, Number 18, 19 February 1971.
Kurt Maly. Lexical description of SETL. SETL Newsletter, Number 19, 26 February 1971. by Paul McJones — last modified 2021-03-10 15:50
Kurt Maly. Lexical description of SETL. SETL Newsletter, Number 19, 26 February 1971.
20. David Shields. BALMSETL user’s guide (in brief). March 1971. by Paul McJones — last modified 2021-03-23 21:45
20. David Shields. BALMSETL user’s guide (in brief). March 1971.
40. Anonymous. List of Newsletters #1-40. Undated - circa June 1971? by Paul McJones — last modified 2021-03-23 21:45
40. Anonymous. List of Newsletters #1-40. Undated - circa June 1971?
21. Anonymous. An Outside Review: Comments on the SETL draft. 15 April 1971. by Paul McJones — last modified 2021-03-23 21:44
21. Anonymous. An Outside Review: Comments on the SETL draft. 15 April 1971.
J. Schwartz. Some small and large language extensions for consideration. SETL Newsletter, Number 22, 16 April 1971. by Paul McJones — last modified 2021-03-10 16:03
J. Schwartz. Some small and large language extensions for consideration. SETL Newsletter, Number 22, 16 April 1971.
Dave Shields. Current Status of BALMSETL Implementation. SETL Newsletter, Number 23, 20 April 1971. by Paul McJones — last modified 2021-03-10 16:58
Dave Shields. Current Status of BALMSETL Implementation. SETL Newsletter, Number 23, 20 April 1971.
K. Kennedy. Description of a register allocation algorithm. SETL Newsletter, Number 24, 20 April 1971. by Paul McJones — last modified 2021-03-10 18:09
K. Kennedy. Description of a register allocation algorithm. SETL Newsletter, Number 24, 20 April 1971.
B. Loerinc. Print routine. SETL Newsletter, Number 25, 27 April 1971. by Paul McJones — last modified 2021-03-10 17:06
B. Loerinc. Print routine. SETL Newsletter, Number 25, 27 April 1971.
J. Schwartz. The currently specified form of SETL from a more fundamental point of view. SETL Newsletter, Number 26, 3 May 1971. by Paul McJones — last modified 2021-03-10 17:08
J. Schwartz. The currently specified form of SETL from a more fundamental point of view. SETL Newsletter, Number 26, 3 May 1971.
J. T. Schwartz. Code for the postparse setup procedure (Postparse metalanguage analysis). SETL Newsletter, Number 27, 3 May 1970. by Paul McJones — last modified 2021-03-10 17:19
J. T. Schwartz. Code for the postparse setup procedure (Postparse metalanguage analysis). SETL Newsletter, Number 27, 3 May 1970.
K. Kennedy. An algorithm for common subexpression elimination and code motion. SETL Newsletter, Number 28, 17 May 1971. by Paul McJones — last modified 2021-03-10 18:10
K. Kennedy. An algorithm for common subexpression elimination and code motion. SETL Newsletter, Number 28, 17 May 1971.
J. Schwartz. Some issues connected with subroutine linkage. SETL Newsletter, Number 29, 6 May 1971. by Paul McJones — last modified 2021-03-10 17:24
J. Schwartz. Some issues connected with subroutine linkage. SETL Newsletter, Number 29, 6 May 1971.
J. T. Schwartz. Sinister calls. SETL Newsletter, Number 30, 7 May 1971. by Paul McJones — last modified 2021-03-10 17:28
J. T. Schwartz. Sinister calls. SETL Newsletter, Number 30, 7 May 1971.
J. Schwartz. An additional preliminary remark on the importance of "object types". SETL Newsletter, Number 31, 10 May 1971. by Paul McJones — last modified 2021-03-10 17:30
J. Schwartz. An additional preliminary remark on the importance of "object types". SETL Newsletter, Number 31, 10 May 1971.
J. T. Schwartz. Hyper-SETL procedural languages. SETL Newsletter, Number 32, 15 May 1971. by Paul McJones — last modified 2021-03-10 17:35
J. T. Schwartz. Hyper-SETL procedural languages. SETL Newsletter, Number 32, 15 May 1971.
J. T. Schwartz. What is programming? SETL Newsletter, Number 33, 15 May 1971. by Paul McJones — last modified 2021-03-10 17:51
J. T. Schwartz. What is programming? SETL Newsletter, Number 33, 15 May 1971. A later version of this appears as Item 2, A second general reflection on programming, On Programming (1975 revision) pages 12-20.
J. T. Schwartz. Syntax revisions in preparation for implementation. SETL Newsletter, Number 34, 16 May 1971. by Paul McJones — last modified 2021-03-10 17:53
J. T. Schwartz. Syntax revisions in preparation for implementation. SETL Newsletter, Number 34, 16 May 1971.
Dave Shields. New form for IFF-statement. SETL Newsletter, Number 35, 13 May 1971. by Paul McJones — last modified 2021-03-10 17:55
Dave Shields. New form for IFF-statement. SETL Newsletter, Number 35, 13 May 1971.
K. Kennedy and P. Owens. An algorithm for use-definition chaining. SETL Newsletter, Number 37, 16 July 1971. by Paul McJones — last modified 2021-03-10 18:08
K. Kennedy and P. Owens. An algorithm for use-definition chaining. SETL Newsletter, Number 37, 16 July 1971.
K. Kennedy. Algorithm for live-dead analysis including node-splitting. SETL Newsletter, Number 38, 13 January 1972. by Paul McJones — last modified 2021-03-10 18:07
K. Kennedy. Algorithm for live-dead analysis including node-splitting. SETL Newsletter, Number 38, 13 January 1972.
J. T. Schwartz. More detailed suggestions concerning 'data strategy' elaborations for SETL. SETL Newsletter, Number 39, 31 May 1971. by Paul McJones — last modified 2021-03-10 18:23
J. T. Schwartz. More detailed suggestions concerning 'data strategy' elaborations for SETL. SETL Newsletter, Number 39, 31 May 1971. "This note will contain remarks concerning: (i) SETL implementation; (ii) the possibility (raised in Newsletter 30, pp 31-32, and 31, pp. 5-7) of securing increased efficiency by adding a system of optional elaborations to the language. These elaborations, if present, should increase running speed considerably and lead also to significant data compressions."
J. T. Schwartz. Additional planning detail for the current and next phase of SETL implementation. SETL Newsletter, Number 41, 2 June 1971. by Paul McJones — last modified 2021-03-11 10:01
J. T. Schwartz. Additional planning detail for the current and next phase of SETL implementation. SETL Newsletter, Number 41, 2 June 1971.
J. T. Schwartz. Revised conventions concerning tuples. SETL Newsletter, Number 42, 4 June 1971. by Paul McJones — last modified 2021-03-11 10:05
J. T. Schwartz. Revised conventions concerning tuples. SETL Newsletter, Number 42, 4 June 1971.
Samson Gruber. A parsing scheme for FORTRAN. SETL Newsletter, Number 43, 13 July 1971. by Paul McJones — last modified 2021-03-11 10:06
Samson Gruber. A parsing scheme for FORTRAN. SETL Newsletter, Number 43, 13 July 1971.
Kurt Maly. Comprehensive SETL specifications. SETL Newsletter, Number 44a, 6 July 1971. by Paul McJones — last modified 2021-03-11 11:13
Kurt Maly. Comprehensive SETL specifications. SETL Newsletter, Number 44a, 6 July 1971.
Dave Shields. Semi-local SETL optimization. SETL Newsletter, Number 45, 19 July 1971. by Paul McJones — last modified 2021-03-11 11:13
Dave Shields. Semi-local SETL optimization. SETL Newsletter, Number 45, 19 July 1971.
J. Schwartz. Generalized nodal span parse routine; preliminary draft. SETL Newsletter, Number 46, 21 July 1971. by Paul McJones — last modified 2021-03-11 11:16
J. Schwartz. Generalized nodal span parse routine; preliminary draft. SETL Newsletter, Number 46, 21 July 1971.
Kurt Maly. Outline for a parsing scheme for SETL. SETL Newsletter, Number 47, 27 July 1971. by Paul McJones — last modified 2021-03-11 11:18
Kurt Maly. Outline for a parsing scheme for SETL. SETL Newsletter, Number 47, 27 July 1971.
Jerry Hobbs. Toward a documentation of the String Project's program for parsing English sentences. SETL Newsletter, Number 48, 5 August 1971. by Paul McJones — last modified 2021-03-11 11:21
Jerry Hobbs. Toward a documentation of the String Project's program for parsing English sentences. SETL Newsletter, Number 48, 5 August 1971.
Henry Warren. Detailed specifications of certain SETL operations. SETL Newsletter, Number 49, 10 August 1971. by Paul McJones — last modified 2021-03-11 11:24
Henry Warren. Detailed specifications of certain SETL operations. SETL Newsletter, Number 49, 10 August 1971.
Kurt Maly. Three-phase parsing scheme for SETL. SETL Newsletter, Number 50, 10 September 1971. by Paul McJones — last modified 2021-03-11 11:34
Kurt Maly. Three-phase parsing scheme for SETL. SETL Newsletter, Number 50, 10 September 1971.
Anonymous. List of Newsletters 41-59a. SETL Newsletter, Number 51, undated; circa February 1972? by Paul McJones — last modified 2021-03-11 11:42
Anonymous. List of Newsletters 41-59a. SETL Newsletter, Number 51, undated; circa February 1972?
Jay Earley. Comments on SETL. SETL Newsletter, Number 52, 16 September 1971. by Paul McJones — last modified 2021-03-11 11:49
Jay Earley. Comments on SETL. SETL Newsletter, Number 52, 16 September 1971. Includes proposals for: symmetric use of relations; tuples, sequences, and strings; conditions on sets. Cites Codd's paper on the relational model and Earley's own work on the VERS language.
H. S. Warren, Jr. SETL to LITTLE Translation: a first look. SETL Newsletter, Number 53, September 1971. by Paul McJones — last modified 2021-03-11 12:12
H. S. Warren, Jr. SETL to LITTLE Translation: a first look. SETL Newsletter, Number 53, September 1971. Item 7 of On Programming: An Interim Report on the SETL Project (1975 revision, pages 54–68), titled SETL implementation and optimization: A first look at SETL compilation—target code style, says it is a revision of this newsletter, but is less detailed.
S. Gruber. Current status of BALM-SETL 4. SETL Newsletter, Number 54, 24 September 1971. by Paul McJones — last modified 2021-03-11 12:35
S. Gruber. Current status of BALM-SETL 4. SETL Newsletter, Number 54, 24 September 1971.
S. Finkelstein. SETL suggestions and questions. SETL Newsletter, Number 55, 29 September 1971. by Paul McJones — last modified 2021-03-11 12:54
S. Finkelstein. SETL suggestions and questions. SETL Newsletter, Number 55, 29 September 1971.
Jay Earley. Additional comments on some basic SETL operations. SETL Newsletter, Number 56, 29 September 1971. by Paul McJones — last modified 2021-03-11 13:08
Jay Earley. Additional comments on some basic SETL operations. SETL Newsletter, Number 56, 29 September 1971.
Jay Earley. More comments on SETL. SETL Newsletter, Number 56A [does not supersede 56], 6 October 1971. by Paul McJones — last modified 2021-03-11 13:32
Jay Earley. More comments on SETL. SETL Newsletter, Number 56A [does not supersede 56], 6 October 1971.
Jay Earley. More SETL comments: A set-former optimization. SETL Newsletter, Number 56B [does not supersede 56 or 56A], 10 October 1971. by Paul McJones — last modified 2021-03-11 13:39
Jay Earley. More SETL comments: A set-former optimization. SETL Newsletter, Number 56B [does not supersede 56 or 56A], 10 October 1971.
H. S. Warren. Minimizing copying in SETL: Preliminary observations. SETL Newsletter, Number 57, 8 October 1971. by Paul McJones — last modified 2021-03-11 13:41
H. S. Warren. Minimizing copying in SETL: Preliminary observations. SETL Newsletter, Number 57, 8 October 1971.
Kurt Maly. Phase one of the SETL compiler. SETL Newsletter, Number 58, 22 October 1971. by Paul McJones — last modified 2021-03-11 13:47
Kurt Maly. Phase one of the SETL compiler. SETL Newsletter, Number 58, 22 October 1971. The last two pages are Addenda and Errata, constituting Number 58a, 15 November 1971.
Rudolph A. Krutar. An algebra of assignment. SETL Newsletter, Number 59 revised, 27 October 1971. by Paul McJones — last modified 2021-03-11 14:04
Rudolph A. Krutar. An algebra of assignment. SETL Newsletter, Number 59 revised, 27 October 1971.
H. S. Warren. SETL compiled code: Calls to SETL procedures. SETL Newsletter, Number 60, 4 November 1971. by Paul McJones — last modified 2021-03-11 14:06
H. S. Warren. SETL compiled code: Calls to SETL procedures. SETL Newsletter, Number 60, 4 November 1971.
Kurt Maly. Syntactic structure of SETL. SETL Newsletter, Number 61, 15 November 1971. by Paul McJones — last modified 2021-03-11 14:08
Kurt Maly. Syntactic structure of SETL. SETL Newsletter, Number 61, 15 November 1971.
Kurt Maly. Final specification part of SETL and the parser. SETL Newsletter, Number 62, 8 December 1971. by Paul McJones — last modified 2021-03-11 14:10
Kurt Maly. Final specification part of SETL and the parser. SETL Newsletter, Number 62, 8 December 1971.
G. Fisher. The SETL print routine. SETL Newsletter, Number 63, 11 January 1972. by Paul McJones — last modified 2021-03-11 14:12
G. Fisher. The SETL print routine. SETL Newsletter, Number 63, 11 January 1972.
Kurt Maly. SETL compiler with elaborated data structures. SETL Newsletter, Number 64, 26 January 1972. by Paul McJones — last modified 2021-03-11 14:21
Kurt Maly. SETL compiler with elaborated data structures. SETL Newsletter, Number 64, 26 January 1972.
Robert A. Bonic. Some notational suggestions. SETL Newsletter, Number 65, 2 February 1972. by Paul McJones — last modified 2021-03-11 14:22
Robert A. Bonic. Some notational suggestions. SETL Newsletter, Number 65, 2 February 1972.
Kurt Maly. Data structures of the SETL compiler for the LITTLE version. SETL Newsletter, Number 67, 22 February 1972. by Paul McJones — last modified 2021-03-11 14:24
Kurt Maly. Data structures of the SETL compiler for the LITTLE version. SETL Newsletter, Number 67, 22 February 1972.
S. Brown. Some Thoughts on Efficient Programming in SETLB. SETL Newsletter, Number 68, 26 October 1972. by Paul McJones — last modified 2021-03-11 15:42
S. Brown. Some Thoughts on Efficient Programming in SETLB. SETL Newsletter, Number 68, 26 October 1972.
R. Abes. The SETL project - master catalog. SETL Newsletter, Number 69, 5 February 1973; revised March 1980. by Paul McJones — last modified 2021-03-11 15:23
R. Abes. The SETL project - master catalog. SETL Newsletter, Number 69, 5 February 1973; revised March 1980. An earlier September 1973 revision of this newsletter was published as: 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. Report IMM 396, Computer Science Department, CIMS, October 1973.
J. Schwartz. Deducing the logical structure of objects occuring in SETL programs. SETL Newsletter, Number 71, 17 April 1972. by Paul McJones — last modified 2021-03-11 16:04
J. Schwartz. Deducing the logical structure of objects occuring in SETL programs. SETL Newsletter, Number 71, 17 April 1972.
72. D. Shields. An introductory explanation of SETL, a status review, and a profile of SETL User-Group. 17 April 1972. by Paul McJones — last modified 2021-03-15 14:35
72. D. Shields. An introductory explanation of SETL, a status review, and a profile of SETL User-Group. 17 April 1972.
73. Kurt Maly and Hank Warren. SRTL: User's guide to the SETL Run Time Library. Revision 3, 16 May 1973. by Paul McJones — last modified 2021-03-11 17:21
73. Kurt Maly and Hank Warren. SRTL: User's guide to the SETL Run Time Library. Revision 3, 16 May 1973. "The SETL Run Time Library is a collection of subroutines and macros, written in the LITTLE language, that are capable of evaluating SETL expressions. Subroutines are provided to build sets, test SETL objets for equality, concatenate strings, etc. The library includes a storage allocation mechanism that is based on a compacting garbage collector."
74. L. V. Gorodnaya, D. A. Levin, and V. Chernobrod. Project Plan for First Stage of Implementation. 5 May 1972, Novosibirsk. by Paul McJones — last modified 2021-03-11 17:55
74. L. V. Gorodnaya, D. A. Levin, and V. Chernobrod. Project Plan for First Stage of Implementation. 5 May 1972, Novosibirsk. Partial translation from the Russian.
75. E. Milgrom. Some thoughts on the use of BALM to implementat SETL. 1 June 1972. Also issued as BALM Bulletin Number 13. by Paul McJones — last modified 2021-03-11 17:56
75. E. Milgrom. Some thoughts on the use of BALM to implementat SETL. 1 June 1972. Also issued as BALM Bulletin Number 13.
76. J. Schwartz and G. Jennings. Semantic-definition matters. May 1973. by Paul McJones — last modified 2021-03-11 18:06
76. J. Schwartz and G. Jennings. Semantic-definition matters. May 1973. "In the present newsletter, a preliminary attempt at systematic semantic definition of SETL will be made. This will be done by describing, in a deliberately abstract way, a hypothetical 'back end' for the SETL compiler. The 'back end' will consist of a set of routines concerned with name scoping, compilation of abstract recursively structured syntactic trees into interpretable serial structures, digestion of labels, and finally with the interpretation of an ultimate code form. The total package will include almost all the routines necessary to go from a simplified 'host language' form of SETL to interpretable text."
80. Kent Curtis. Algorithms in the SETLB test package. 28 September 1972. by Paul McJones — last modified 2021-03-11 18:18
80. Kent Curtis. Algorithms in the SETLB test package. 28 September 1972.
81. J. Schwartz and S. Brown. Memory size of SETLB runs. 28 September 1972. by Paul McJones — last modified 2021-03-12 08:54
81. J. Schwartz and S. Brown. Memory size of SETLB runs. 28 September 1972.
82. E. Desautels. Timing comparison between SETL and FORTRAN. 3 October 1972. by Paul McJones — last modified 2021-03-12 09:35
82. E. Desautels. Timing comparison between SETL and FORTRAN. 3 October 1972.
83. J. Schwartz, et al. User experience and human factors improvement of SETL. 1 November 1972. by Paul McJones — last modified 2021-03-12 09:42
83. J. Schwartz, et al. User experience and human factors improvement of SETL. 1 November 1972.
84. J. Schwartz. Plan for a library of algorithms. 5 November 1972; revised October 1973. by Paul McJones — last modified 2021-03-12 09:42
84. J. Schwartz. Plan for a library of algorithms. 5 November 1972; revised October 1973.
85. H. Warren. Estimate of minimum running size for the next SETL system. 24 April 1973. by Paul McJones — last modified 2021-03-12 09:54
85. H. Warren. Estimate of minimum running size for the next SETL system. 24 April 1973.
86. J. Schwartz. Proposal for a temporary, but easily implemented, software paging scheme. 8 November 1972. by Paul McJones — last modified 2021-03-12 09:58
86. J. Schwartz. Proposal for a temporary, but easily implemented, software paging scheme. 8 November 1972.
87. J. Schwartz. Workplan for the next phases of the SETL project. 15 November 1972. by Paul McJones — last modified 2021-03-12 10:04
87. J. Schwartz. Workplan for the next phases of the SETL project. 15 November 1972.
88. J. Schwartz. A scheme for BALMSETL measurements. 10 November 1972. by Paul McJones — last modified 2021-03-12 10:06
88. J. Schwartz. A scheme for BALMSETL measurements. 10 November 1972.
89. Anonymous. User information for the lexical scanner setup. 8 November 1972; revision 1, 16 January 1973. by Paul McJones — last modified 2021-03-12 11:14
89. Anonymous. User information for the lexical scanner setup. 8 November 1972; revision 1, 16 January 1973.
90. J. Schwartz. Preliminary reflections on the use of SETL in a data-base context. 5 December 1972. by Paul McJones — last modified 2021-03-12 11:16
90. J. Schwartz. Preliminary reflections on the use of SETL in a data-base context. 5 December 1972.
91. J. Schwartz. A 'grammarless' parse and a related procedure for retrieval by similarity. 7 December 1972. by Paul McJones — last modified 2021-03-12 11:45
91. J. Schwartz. A 'grammarless' parse and a related procedure for retrieval by similarity. 7 December 1972.
92. Kent Curtis. Some experiments with SETLB programs. 2 January 1973. by Paul McJones — last modified 2021-03-12 11:53
92. Kent Curtis. Some experiments with SETLB programs. 2 January 1973.
93. Kent Curtis. A note on optimization and programming style in SETL. 5 January 1973. by Paul McJones — last modified 2021-03-12 11:55
93. Kent Curtis. A note on optimization and programming style in SETL. 5 January 1973.
94. G. Jennings. An algorithm to represent a collection of sets as intervals. 23 January 1973. by Paul McJones — last modified 2021-03-12 11:57
94. G. Jennings. An algorithm to represent a collection of sets as intervals. 23 January 1973.
95. Yeshiah Feinroth. Generalized nodal span parse routine, corrected version. 17 January 1973. by Paul McJones — last modified 2021-03-12 12:01
95. Yeshiah Feinroth. Generalized nodal span parse routine, corrected version. 17 January 1973.
96. N. Minsky. Pointers and "Very high level languages". January 1973. by Paul McJones — last modified 2021-03-12 12:09
96. N. Minsky. Pointers and "Very high level languages". January 1973.
97. P. Markstein. SETL extensions for operating system description: Installment I of a thesis draft. 1 February 1973. by Paul McJones — last modified 2021-03-12 12:12
97. P. Markstein. SETL extensions for operating system description: Installment I of a thesis draft. 1 February 1973.
98. J. Schwartz. Reflections on P. Markstein's newsletter on SETL extensions for operating system description. 27 January 1973. by Paul McJones — last modified 2021-03-12 12:18
98. J. Schwartz. Reflections on P. Markstein's newsletter on SETL extensions for operating system description. 27 January 1973.
99. S. Brown. Paging, the quick and dirty way. 31 January 1973. Also published as BALM Bulletin 21. by Paul McJones — last modified 2021-03-12 12:57
99. S. Brown. Paging, the quick and dirty way. 31 January 1973. Also published as BALM Bulletin 21.
100. Hank Warren. Making SRTL debugging runs. 20 February 1973. by Paul McJones — last modified 2021-03-12 13:22
100. Hank Warren. Making SRTL debugging runs. 20 February 1973.
101. Robert Bonic. How to program if you must (the SETL style). 1 March 1973. by Paul McJones — last modified 2021-03-12 13:27
101. Robert Bonic. How to program if you must (the SETL style). 1 March 1973.
102. K. Kennedy. Reduction in strength using hashed temporaries. 12 March 1973. by Paul McJones — last modified 2021-03-12 14:00
102. K. Kennedy. Reduction in strength using hashed temporaries. 12 March 1973.
103. J. Schwartz. Preliminary plan for BALM-to-LITTLE translator. 10 April 1973. by Paul McJones — last modified 2021-03-12 14:00
103. J. Schwartz. Preliminary plan for BALM-to-LITTLE translator. 10 April 1973.
104. Gray Jennings. An algorithm to represent a collection of sets as a direct product of intervals. 28 March 1973. by Paul McJones — last modified 2021-03-12 14:31
104. Gray Jennings. An algorithm to represent a collection of sets as a direct product of intervals. 28 March 1973.
105. S. Marateck and J. Schwartz. SETL programs for a basic block optimizer and an extended basic block optimizer. 23 April 1973. by Paul McJones — last modified 2021-03-12 14:37
105. S. Marateck and J. Schwartz. SETL programs for a basic block optimizer and an extended basic block optimizer. 23 April 1973.
106. Gray Jennings. User variation of the semantics of function and subroutine invocation. 17 May1973. by Paul McJones — last modified 2021-03-12 14:38
106. Gray Jennings. User variation of the semantics of function and subroutine invocation. 17 May1973.
107. Ken Kennedy. Linear function test replacement. 20 May 1973. by Paul McJones — last modified 2021-03-12 14:45
107. Ken Kennedy. Linear function test replacement. 20 May 1973.
108. G. Jennings. APL-SETL, an extension of SETL achieved from user varied semantics. May 1973. by Paul McJones — last modified 2021-03-12 14:46
108. G. Jennings. APL-SETL, an extension of SETL achieved from user varied semantics. May 1973.
109. Stephanie Brown. Faster execution for the LITTLE based BALM system. 27 July 1973. by Paul McJones — last modified 2021-03-12 15:11
109. Stephanie Brown. Faster execution for the LITTLE based BALM system. 27 July 1973.
111. K. Kennedy. Global dead computation elimination. 7 August 1973. by Paul McJones — last modified 2021-03-12 16:08
111. K. Kennedy. Global dead computation elimination. 7 August 1973.
112. K. Kennedy. An algorithm to compute compacted used-definition chains. 14 August 1973. by Paul McJones — last modified 2021-03-12 16:09
112. K. Kennedy. An algorithm to compute compacted used-definition chains. 14 August 1973.
113. Stephanie Brown. Little code generation from the BALM compiler. 8 August 1973. by Paul McJones — last modified 2021-03-12 16:11
113. Stephanie Brown. Little code generation from the BALM compiler. 8 August 1973.
114. Abraham Getzler. A SETLB to Publication SETL translator. 17 August 1973. by Paul McJones — last modified 2021-03-12 16:15
114. Abraham Getzler. A SETLB to Publication SETL translator. 17 August 1973.
115. G. Weinberger and A. Tenenbaum. A SETL representation of the Maryland GRAAL graph-manipulation language. 21 August 1973. by Paul McJones — last modified 2021-03-12 16:27
115. G. Weinberger and A. Tenenbaum. A SETL representation of the Maryland GRAAL graph-manipulation language. 21 August 1973.
116. [A. Ershov et al.] Catalog of SETL(C) Newsletters as of July 30, 1973. 1 August 1973. by Paul McJones — last modified 2021-03-15 14:30
116. [A. Ershov et al.] Catalog of SETL(C) Newsletters as of July 30, 1973. 1 August 1973. "C" stood for "Cyrillic"; see Siberian SETL. According to [Abes 1980], this was also SETL(C) Newsletter 11.
117. E. Schonberg. A static debugging system for LITTLE. 4 October 1973. by Paul McJones — last modified 2021-03-12 16:41
117. E. Schonberg. A static debugging system for LITTLE. 4 October 1973.
118. A. Tenenbaum. Revised and extended algorithms for deducing the types of objects occuring in SETL programs. 20 October 1973. by Paul McJones — last modified 2021-03-12 16:43
118. A. Tenenbaum. Revised and extended algorithms for deducing the types of objects occuring in SETL programs. 20 October 1973.
119. J. Schwartz. A suggested generalization and revision of the SETL compound operator form. 25 August 1973. by Paul McJones — last modified 2021-03-12 16:46
119. J. Schwartz. A suggested generalization and revision of the SETL compound operator form. 25 August 1973.
120. J. Schwartz. A general-recursive extension of function application, and its uses. 4 December 1983. by Paul McJones — last modified 2021-03-12 16:48
120. J. Schwartz. A general-recursive extension of function application, and its uses. 4 December 1983.
121. Aaron Tenenbaum. An algorithm to determine the identity of SETL run-time objects. 2 January 1974. by Paul McJones — last modified 2021-03-13 15:06
121. Aaron Tenenbaum. An algorithm to determine the identity of SETL run-time objects. 2 January 1974.
122. J. T. Schwartz. More local and semi-local SETL optimisations. 20 January 1974. by Paul McJones — last modified 2021-03-13 10:48
122. J. T. Schwartz. More local and semi-local SETL optimisations. 20 January 1974.
122A. J. Schwartz. A few peephole optimisations applicable to iterators. 2 July 1974. by Paul McJones — last modified 2021-03-13 10:50
122A. J. Schwartz. A few peephole optimisations applicable to iterators. 2 July 1974.
122B. J Schwartz. Still more optimisations. 24 July 1974. by Paul McJones — last modified 2021-03-13 10:53
122B. J Schwartz. Still more optimisations. 24 July 1974.
123. K. Kennedy. Variable subsumption with constant folding. 1 February 1974. by Paul McJones — last modified 2021-03-13 10:58
123. K. Kennedy. Variable subsumption with constant folding. 1 February 1974.
124. Ed Schonberg. The VERS2 language of J. Early considered in relation to SETL. 30 January 1974. by Paul McJones — last modified 2021-03-13 11:14
124. Ed Schonberg. The VERS2 language of J. Early considered in relation to SETL. 30 January 1974.
125. K. Kennedy (Rice University). Schaefer's node splitting algorithm. 6 February 1974. by Paul McJones — last modified 2021-03-13 11:14
125. K. Kennedy (Rice University). Schaefer's node splitting algorithm. 6 February 1974.
126. Michael Brenner. A SETLB specification of EDIT. 4 February 1974. by Paul McJones — last modified 2021-03-13 14:23
126. Michael Brenner. A SETLB specification of EDIT. 4 February 1974.
127. K. Kennedy. Edge-listing data-flow algorithms. 15 March 1973. by Paul McJones — last modified 2021-03-13 14:46
127. K. Kennedy. Edge-listing data-flow algorithms. 15 March 1973.
128. Ed. Schonberg and Stephanie Brown. A LITTLE written translator from SETL to LITTLE. 25 April 1974. by Paul McJones — last modified 2021-03-13 14:46
128. Ed. Schonberg and Stephanie Brown. A LITTLE written translator from SETL to LITTLE. 25 April 1974.
129. J. Schwartz. More on SETL in a data-base environment. 20 May 1974. by Paul McJones — last modified 2021-03-13 14:58
129. J. Schwartz. More on SETL in a data-base environment. 20 May 1974.
130. J. Schwartz. Deducing relationships of inclusion and membership in SETL programs. 29 May 1974. by Paul McJones — last modified 2021-03-13 15:17
130. J. Schwartz. Deducing relationships of inclusion and membership in SETL programs. 29 May 1974.
130A. J. Schwartz. Estimates from below of the domain of a mapping. 1 August 1974. by Paul McJones — last modified 2021-03-13 15:19
130A. J. Schwartz. Estimates from below of the domain of a mapping. 1 August 1974.
130B. J. T. Schwartz. The use of equalities in the deduction of inclusion/membership relations. 30 May 1975. by Paul McJones — last modified 2021-03-13 15:25
130B. J. T. Schwartz. The use of equalities in the deduction of inclusion/membership relations. 30 May 1975.
131. J. Schwartz. More on copy optimization of SETL programs. 7 June 1974. by Paul McJones — last modified 2021-03-13 15:26
131. J. Schwartz. More on copy optimization of SETL programs. 7 June 1974.
132. J. Schwartz. Some optimizations using type information. 3 June 1974. by Paul McJones — last modified 2021-03-13 15:32
132. J. Schwartz. Some optimizations using type information. 3 June 1974.
133. J. Schwartz. A higher-level control diction. 20 June 1974. by Paul McJones — last modified 2021-03-13 15:37
133. J. Schwartz. A higher-level control diction. 20 June 1974.
133A. J. Schwartz. Additional Pursue block examples. 2 July 1974. by Paul McJones — last modified 2021-03-13 15:40
133A. J. Schwartz. Additional Pursue block examples. 2 July 1974.
133B. J. T. Schwartz. General comments on high level dictions and specific suggestions concerning 'Converge' iterators and some related dictions. 29 January 1975. by Paul McJones — last modified 2021-03-13 15:43
133B. J. T. Schwartz. General comments on high level dictions and specific suggestions concerning 'Converge' iterators and some related dictions. 29 January 1975.
134. J. Schwartz. Inter-procedural optimization. 1 July 1974. by Paul McJones — last modified 2021-03-13 15:45
134. J. Schwartz. Inter-procedural optimization. 1 July 1974.
135. J. T. Schwartz. Introductory lecture at the June 28 'Informal Optimisation Symposium'. 1 July 1974. by Paul McJones — last modified 2021-03-13 15:48
135. J. T. Schwartz. Introductory lecture at the June 28 'Informal Optimisation Symposium'. 1 July 1974.
135A. J. Schwartz. Structureless programming, or the notion of 'Rubble', and the reduction of programs to Rubble. 12 July 1974. by Paul McJones — last modified 2021-03-13 15:52
135A. J. Schwartz. Structureless programming, or the notion of 'Rubble', and the reduction of programs to Rubble. 12 July 1974.
135B. J. T. Schwartz. Additional thoughts on 'Language level' and optimisation. 12 January 1975. by Paul McJones — last modified 2021-03-13 15:55
135B. J. T. Schwartz. Additional thoughts on 'Language level' and optimisation. 12 January 1975.
135C. J. T. Schwartz. On the genesis of complex programs. 1 August 1975. by Paul McJones — last modified 2021-03-13 15:57
135C. J. T. Schwartz. On the genesis of complex programs. 1 August 1975.
136. J. T. Schwartz. A framework for certain kinds of high-level optimisation. 16 July 1974. by Paul McJones — last modified 2021-03-13 15:59
136. J. T. Schwartz. A framework for certain kinds of high-level optimisation. 16 July 1974.
137. J. T. Schwartz. Additional thoughts concerning automatic data structure choices. 25 July 1974. by Paul McJones — last modified 2021-03-15 14:30
137. J. T. Schwartz. Additional thoughts concerning automatic data structure choices. 25 July 1974.
138. J. T. Schwartz and R. Paige. On Jay Early's 'Method of iterator inversion'. Undated; summer of 1974? by Paul McJones — last modified 2021-03-13 16:17
138. J. T. Schwartz and R. Paige. On Jay Early's 'Method of iterator inversion'. Undated; summer of 1974?
138A. J. T. Schwartz. Optimisation by set suppression. 12 August 1974. by Paul McJones — last modified 2021-03-13 16:19
138A. J. T. Schwartz. Optimisation by set suppression. 12 August 1974.
138B. J. T. Schwartz. Updating the lower bound of a set of integers in set-theoretic strength reduction. 6 January 1976. by Paul McJones — last modified 2021-03-13 16:21
138B. J. T. Schwartz. Updating the lower bound of a set of integers in set-theoretic strength reduction. 6 January 1976.
140. J. Schwartz. Use-use chaining as a technique in typefinding. 27 September 1974. by Paul McJones — last modified 2021-03-13 16:25
140. J. Schwartz. Use-use chaining as a technique in typefinding. 27 September 1974.
141. J. T. Schwartz. Reflections on some very-high level dictions have an English / "automatic programming" flavor. 16 January 1975. by Paul McJones — last modified 2021-03-13 16:30
141. J. T. Schwartz. Reflections on some very-high level dictions have an English / "automatic programming" flavor. 16 January 1975.
142. J. T. Schwartz. What programmers should know. 29 January 1975. by Paul McJones — last modified 2021-03-13 16:32
142. J. T. Schwartz. What programmers should know. 29 January 1975.
143. J. T. Schwartz. 'Arguments from use' in the proof of relationships of inclusion and membership. 3 February 1975. by Paul McJones — last modified 2021-03-13 16:46
143. J. T. Schwartz. 'Arguments from use' in the proof of relationships of inclusion and membership. 3 February 1975.
144. J. T. Schwartz. Interprocedural live-dead analysis. 25 February 1975. by Paul McJones — last modified 2021-03-13 16:50
144. J. T. Schwartz. Interprocedural live-dead analysis. 25 February 1975.
145. P. Shaw. GYVE-oriented inter-process coordination and control features for an extended SETL (SETLG): Preliminary notes. 1 March 1975. by Paul McJones — last modified 2021-03-13 17:10
145. P. Shaw. GYVE-oriented inter-process coordination and control features for an extended SETL (SETLG): Preliminary notes. 1 March 1975.
146. J. T. Schwartz. Adaptation of GYVE/SETLG to distributed network of computers: Preliminary proposal. 7 March 1975. by Paul McJones — last modified 2021-03-13 17:19
146. J. T. Schwartz. Adaptation of GYVE/SETLG to distributed network of computers: Preliminary proposal. 7 March 1975.
147. J T. Schwartz. A syntactic construct useful for checking parameters. 8 March 1975. by Paul McJones — last modified 2021-03-13 17:21
147. J T. Schwartz. A syntactic construct useful for checking parameters. 8 March 1975.
148. Ed Schonberg and A. Stein. Technical and human factor improvements for the fully compiled SETL system. 21 April 1975. by Paul McJones — last modified 2021-03-13 17:23
148. Ed Schonberg and A. Stein. Technical and human factor improvements for the fully compiled SETL system. 21 April 1975.
149. J. T. Schwartz. Conventions allowing other languages to be used within GYVE; Files; Memory hierarchy questions; Some suggestions for GYVE extensions. 20 April 1975. by Paul McJones — last modified 2021-03-13 17:41
149. J. T. Schwartz. Conventions allowing other languages to be used within GYVE; Files; Memory hierarchy questions; Some suggestions for GYVE extensions. 20 April 1975.
150. J. T. Schwartz. What constitutes progress in programming. 10 May 1975. by Paul McJones — last modified 2021-03-13 17:43
150. J. T. Schwartz. What constitutes progress in programming. 10 May 1975.
151. J .T. Schwartz. Additional considerations concerning semi-automatic data structure choices. 20 June 1975. by Paul McJones — last modified 2021-03-13 21:20
151. J .T. Schwartz. Additional considerations concerning semi-automatic data structure choices. 20 June 1975.
152. J. T. Schwartz. An alternative for a 'MIDL'-level language. 5 July 1975. by Paul McJones — last modified 2021-03-13 21:27
152. J. T. Schwartz. An alternative for a 'MIDL'-level language. 5 July 1975.
153. J. T. Schwartz. The significance of 'backtracking', and its cost. 15 July 1975. by Paul McJones — last modified 2021-03-13 21:32
153. J. T. Schwartz. The significance of 'backtracking', and its cost. 15 July 1975.
154. Ed Schonberg. Timing considerations for the SETL translator system. 24 July 1975. by Paul McJones — last modified 2021-03-13 21:36
154. Ed Schonberg. Timing considerations for the SETL translator system. 24 July 1975.
155. J. T. Schwartz. Intermediate result recording and other techniques for optimizing recursions and backtrack programs. 7 October 1975. by Paul McJones — last modified 2021-03-13 22:14
155. J. T. Schwartz. Intermediate result recording and other techniques for optimizing recursions and backtrack programs. 7 October 1975.
156. J. Schwartz. The next phase of our work. 1 August 1975. by Paul McJones — last modified 2021-03-14 13:02
156. J. Schwartz. The next phase of our work. 1 August 1975.
157. J. T. Schwartz. 'Whenever' dictions. 7 August 1975. by Paul McJones — last modified 2021-03-14 14:21
157. J. T. Schwartz. 'Whenever' dictions. 7 August 1975.
158. E. Schonberg. Implementation of reference counts in the SETL system. 15 October 1975. by Paul McJones — last modified 2021-03-14 14:24
158. E. Schonberg. Implementation of reference counts in the SETL system. 15 October 1975.
159. J .Schwartz. On the 'base form' of algorithms. 6 November 1975. by Paul McJones — last modified 2021-03-15 14:31
159. J .Schwartz. On the 'base form' of algorithms. 6 November 1975.
160. J. T. Schwartz. An algebra of program events potentially useful in a debugging language. 13 November 1975. by Paul McJones — last modified 2021-03-14 14:33
160. J. T. Schwartz. An algebra of program events potentially useful in a debugging language. 13 November 1975.
161. Art Grand. Specifications for a new optimizer-oriented SETL front end. 31 December 1975. by Paul McJones — last modified 2021-03-14 14:36
161. Art Grand. Specifications for a new optimizer-oriented SETL front end. 31 December 1975.
162. J. T. Schwartz. Improved target code forms available in the presence of global information. 20 January 1976. by Paul McJones — last modified 2021-03-14 14:41
162. J. T. Schwartz. Improved target code forms available in the presence of global information. 20 January 1976.
163. Martin C. Golumbic. Recognizing comparability graphs in SETL. 19 March 1976. by Paul McJones — last modified 2021-03-14 14:45
163. Martin C. Golumbic. Recognizing comparability graphs in SETL. 19 March 1976.
164. Robert B. K. Dewar. Copy optimization in SETL. 13 April 1976. by Paul McJones — last modified 2021-03-14 15:00
164. Robert B. K. Dewar. Copy optimization in SETL. 13 April 1976.
164A. J. T. Schwartz. 'Copy on assignment' optimization in SETL. 7 April 1976. by Paul McJones — last modified 2021-03-14 15:02
164A. J. T. Schwartz. 'Copy on assignment' optimization in SETL. 7 April 1976.
165. J. T. Schwartz. A simple criterion for avoiding basing errors. 7 April 1976. by Paul McJones — last modified 2021-03-14 15:04
165. J. T. Schwartz. A simple criterion for avoiding basing errors. 7 April 1976.
166. R. Dewar and J. T. Schwartz. An easy scheme for incorporating backtracking into the new SETL implementation. 8 April 1976. by Paul McJones — last modified 2021-03-14 15:06
166. R. Dewar and J. T. Schwartz. An easy scheme for incorporating backtracking into the new SETL implementation. 8 April 1976.
167. J. T. Schwartz. A variant SETL implementation incorporating 'Whenever' dictions. 14 April 1976. by Paul McJones — last modified 2021-03-14 15:08
167. J. T. Schwartz. A variant SETL implementation incorporating 'Whenever' dictions. 14 April 1976.
168. Robert B. K. Dewar. The trouble with triples. 13 April 1976. by Paul McJones — last modified 2021-03-14 15:12
168. Robert B. K. Dewar. The trouble with triples. 13 April 1976.
169. Robert Dewar, Art Grand, Len Vanek, and Ed Schonberg. Some changes to the SETL language in preparation for the optimizer implementation. 11 April 1976. by Paul McJones — last modified 2021-03-14 15:20
169. Robert Dewar, Art Grand, Len Vanek, and Ed Schonberg. Some changes to the SETL language in preparation for the optimizer implementation. 11 April 1976.
170. Robert Dewar, Art Grand, Ed Schonberg, and Len Vanek. Provisional plan for the SETL optimizer interface. 22 April 1976. by Paul McJones — last modified 2021-03-14 15:26
170. Robert Dewar, Art Grand, Ed Schonberg, and Len Vanek. Provisional plan for the SETL optimizer interface. 22 April 1976.
171. R. Dewar, J. Schwartz, and E. Schonberg. More on basings. 29 April 1976. by Paul McJones — last modified 2021-03-14 20:29
171. R. Dewar, J. Schwartz, and E. Schonberg. More on basings. 29 April 1976.
171A. J. Schwartz and R. Dewar. 'Basing semantics' revisited. 9 December 1976. by Paul McJones — last modified 2021-03-14 20:31
171A. J. Schwartz and R. Dewar. 'Basing semantics' revisited. 9 December 1976.
171B. J. Schwartz and A. Grand. Remark on the Implementation of the basing scheme. 14 December 1976. by Paul McJones — last modified 2021-03-14 20:34
171B. J. Schwartz and A. Grand. Remark on the Implementation of the basing scheme. 14 December 1976.
171C. Art Grand. Implementation of base assignments. 22 April 1977. by Paul McJones — last modified 2021-03-14 20:36
171C. Art Grand. Implementation of base assignments. 22 April 1977.
172. Robert B. K. Dewar, Art Grand, Edmond Schonberg, and Len Vanek. 25 May 1976. by Paul McJones — last modified 2021-03-14 20:42
172. Robert B. K. Dewar, Art Grand, Edmond Schonberg, and Len Vanek. 25 May 1976.
174. Robert Dewar. Relaxation of basing restrictions. 19 July 1976. by Paul McJones — last modified 2021-03-14 20:51
174. Robert Dewar. Relaxation of basing restrictions. 19 July 1976.
175. S. C. Liu and E. Schonberg. More on copy optimization. 21 July 1976. by Paul McJones — last modified 2021-03-14 20:53
175. S. C. Liu and E. Schonberg. More on copy optimization. 21 July 1976.
176. J. T. Schwartz. A coarser, but simpler and considerably more efficient copy optimization technique. 2 August 1976. by Paul McJones — last modified 2021-03-14 20:56
176. J. T. Schwartz. A coarser, but simpler and considerably more efficient copy optimization technique. 2 August 1976.
178. J. T. Schwartz. Motion range checks out of loops; optimization of integer arithmetic. 6 August 1976. by Paul McJones — last modified 2021-03-14 21:02
178. J. T. Schwartz. Motion range checks out of loops; optimization of integer arithmetic. 6 August 1976.
179. S. C. Liu. Dynamic multiple member basings. 9 October 1976. by Paul McJones — last modified 2021-03-14 21:07
179. S. C. Liu. Dynamic multiple member basings. 9 October 1976.
180. S. C. Liu and E. Schonberg. Uncovering profitable basic relations. 14 February 1977. by Paul McJones — last modified 2021-03-14 21:08
180. S. C. Liu and E. Schonberg. Uncovering profitable basic relations. 14 February 1977.
181. W. H. Tsui. A reformulation of value-flow analysis. March 1977. by Paul McJones — last modified 2021-03-14 21:11
181. W. H. Tsui. A reformulation of value-flow analysis. March 1977.
182A. Leonard I. Vanek. Linkage conventions for the SETL optimizer. (Supercedes NL 1982). 28 April 1977. by Paul McJones — last modified 2021-03-14 21:20
182A. Leonard I. Vanek. Linkage conventions for the SETL optimizer. (Supercedes NL 1982). 28 April 1977.
183. E. Schonberg, R. Dewar, A. Grand, and J. Schwartz. Some revisions of basing semantics and implementation. 16 December 1976. by Paul McJones — last modified 2021-03-14 21:23
183. E. Schonberg, R. Dewar, A. Grand, and J. Schwartz. Some revisions of basing semantics and implementation. 16 December 1976.
184. Robert B. K. Dewar. Extending the notion of basing. 18 March 1977. by Paul McJones — last modified 2021-03-15 14:32
184. Robert B. K. Dewar. Extending the notion of basing. 18 March 1977.
185. Leonard Vanek. Using output from the SETL copy optimizer. 28 March 1977. by Paul McJones — last modified 2021-03-14 21:26
185. Leonard Vanek. Using output from the SETL copy optimizer. 28 March 1977.
186. R. Dewar and J. Schwartz. Syntax and semantics of a restricted backtrack implementation. 21 April 1977. by Paul McJones — last modified 2021-03-14 21:28
186. R. Dewar and J. Schwartz. Syntax and semantics of a restricted backtrack implementation. 21 April 1977.
187. M. Sharir. On Inter-procedural flow analysis. April 1977. by Paul McJones — last modified 2021-03-14 21:31
187. M.. Sharir. On Inter-procedural flow analysis. April 1977.
187A. Micha Sharir. More on inter-procedural data flow analysis. May 1977. by Paul McJones — last modified 2021-03-14 21:37
187A. Micha Sharir. More on inter-procedural data flow analysis. May 1977.
188. Leonard Vanek. A limited form of common subexpression elimination for SETL programs. 31 May 1977. by Paul McJones — last modified 2021-03-14 21:40
188. Leonard Vanek. A limited form of common subexpression elimination for SETL programs. 31 May 1977.
189. R Dewar, A. Grand, E. Schonberg, and J. Schwartz. SETL data structures. 7 July 1977. by Paul McJones — last modified 2021-03-14 21:44
189. R Dewar, A. Grand, E. Schonberg, and J. Schwartz. SETL data structures. 7 July 1977.
189B. Stefan M. Freudenberger. SETL data structures. 15 May 1980; revised 23 October 1982. by Paul McJones — last modified 2021-03-14 21:59
189B. Stefan M. Freudenberger. SETL data structures. 15 May 1980; revised 23 October 1982.
190. Art Grand. The implementation of backtracking. 5 May 1977. by Paul McJones — last modified 2021-03-14 22:01
190. Art Grand. The implementation of backtracking. 5 May 1977.
191. Art Grand. More language changes. 6 May 1977. by Paul McJones — last modified 2021-03-15 07:48
191. Art Grand. More language changes. 6 May 1977.
192. R. Dewar, A. Grand, R. Kenner, and J. Schwartz. 6600, 370, and PUMA Microcode Nubbins. 13 May 1977. by Paul McJones — last modified 2021-03-15 07:50
192. R. Dewar, A. Grand, R. Kenner, and J. Schwartz. 6600, 370, and PUMA Microcode Nubbins. 13 May 1977.
193. Micha Sharir. On a static scheme to find procedure variables. 16 May 1977. by Paul McJones — last modified 2021-03-15 10:42
193. Micha Sharir. On a static scheme to find procedure variables. 16 May 1977.
194. Sandra Rapps. Nondeterminism, backtracking, and pattern matching in SETL. 13 June 1977. by Paul McJones — last modified 2021-03-15 10:44
194. Sandra Rapps. Nondeterminism, backtracking, and pattern matching in SETL. 13 June 1977.
195. Micha Sharir. An algorithm for copy optimization, based on NL176. 11 July 1977. by Paul McJones — last modified 2021-03-15 10:50
195. Micha Sharir. An algorithm for copy optimization, based on NL176. 11 July 1977.
196. Art Grand. Current state of the SETL implementation. 28 August 1977. by Paul McJones — last modified 2021-03-15 10:53
196. Art Grand. Current state of the SETL implementation. 28 August 1977.
197. Micha Sharir. Some comments on extending code motion and expression availability algorithms for the SETL optimizer. 30 September 1977. by Paul McJones — last modified 2021-03-15 11:01
197. Micha Sharir. Some comments on extending code motion and expression availability algorithms for the SETL optimizer. 30 September 1977.
198. Robert B. K. Dewar. String primitives. 18 January 1978. by Paul McJones — last modified 2021-03-15 14:33
198. Robert B. K. Dewar. String primitives. 18 January 1978.
199. Micha Sharir. Non-propagation of errors — a modified type-finding algorithm. 5 January 1978. by Paul McJones — last modified 2021-03-15 11:14
199. Micha Sharir. Non-propagation of errors — a modified type-finding algorithm. 5 January 1978.
200. J. T. Schwartz. Possible additional REPRs for the new SETL system. 12 February 1978. by Paul McJones — last modified 2021-03-15 11:29
200. J. T. Schwartz. Possible additional REPRs for the new SETL system. 12 February 1978.
201. Micha Sharir. On compaction on RC-paths. 15 February 1978. by Paul McJones — last modified 2021-03-15 11:30
201. Micha Sharir. On compaction on RC-paths. 15 February 1978.
202. Henry M. Lewis. Stropping and character-set conventions. 21 July 1978. by Paul McJones — last modified 2021-03-15 11:37
202. Henry M. Lewis. Stropping and character-set conventions. 21 July 1978.
203. Micha Sharir. A simplified approach to automatic data structure choice. 5 January 1978. by Paul McJones — last modified 2021-03-15 11:37
203. Micha Sharir. A simplified approach to automatic data structure choice. 5 January 1978.
204. J. T. Schwartz and M. Sharir. Tarjan's fast interval finding algorithm. 3 March 1978. by Paul McJones — last modified 2021-03-15 11:40
204. J. T. Schwartz and M. Sharir. Tarjan's fast interval finding algorithm. 3 March 1978.
205. Micha Sharir. On disjointness detection in automatic data-structure choice. 11 July 1978. by Paul McJones — last modified 2021-03-15 11:42
205. Micha Sharir. On disjointness detection in automatic data-structure choice. 11 July 1978.
206. A. Grand and M. Sharir. On name splitting in SETL optimization. 5 February 1978. by Paul McJones — last modified 2021-03-15 11:44
206. A. Grand and M. Sharir. On name splitting in SETL optimization. 5 February 1978.
207. Micha Sharir. A second simplified approach to automatic data structure choice. 8 March 1978. by Paul McJones — last modified 2021-03-15 11:52
207. Micha Sharir. A second simplified approach to automatic data structure choice. 8 March 1978.
208. Micha Sharir. A few cautionary notes on the convergence of iterative data-flow analysis algorithms. 7 April 1978. by Paul McJones — last modified 2021-03-15 11:55
208. Micha Sharir. A few cautionary notes on the convergence of iterative data-flow analysis algorithms. 7 April 1978.
209. E. Schonberg. Automatic data structure choice. 17 March 1978. by Paul McJones — last modified 2021-03-15 11:57
209. E. Schonberg. Automatic data structure choice. 17 March 1978.
210. J. T. Schwartz. Remarks on debugging. 6 February 1979. by Paul McJones — last modified 2021-03-15 12:11
210. J. T. Schwartz. Remarks on debugging. 6 February 1979.
211. Robert B. K. Dewar and Art Grand. SETL character set—the final decisions. Undated; 1979? by Paul McJones — last modified 2021-03-15 12:12
211. Robert B. K. Dewar and Art Grand. SETL character set—the final decisions. Undated; 1979?
212. J. Schwartz. A note on program genesis. 30 September 1979. by Paul McJones — last modified 2021-03-15 12:14
212. J. Schwartz. A note on program genesis. 30 September 1979.
213. M. Sharir. Future plans for the SETL optimizer. 1 January 1980. by Paul McJones — last modified 2021-03-15 12:27
213. M. Sharir. Future plans for the SETL optimizer. 1 January 1980.
214. Micha Sharir. A strange sorting algorithm inspired by formal differentation. 27 March 1980. by Paul McJones — last modified 2021-03-15 12:34
214. Micha Sharir. A strange sorting algorithm inspired by formal differentation. 27 March 1980.
215. Stefan A. Freudenberger. Optimisation of case statements. 15 April 1981. by Paul McJones — last modified 2021-03-15 13:05
215. Stefan A. Freudenberger. Optimisation of case statements. 15 April 1981.
216. Stefan A. Freudenberger. On plex bases in SETL. 17 May 1981. by Paul McJones — last modified 2021-03-15 13:09
216. Stefan A. Freudenberger. On plex bases in SETL. 17 May 1981.
217. Stefan A. Freudenberger. An example of how to initialize the SETL heap dynamically. 11 November 1981. by Paul McJones — last modified 2021-03-15 13:11
217. Stefan A. Freudenberger. An example of how to initialize the SETL heap dynamically. 11 November 1981.
77. J. Schwartz. Transferring SETLB to other machines. 20 September 1972. by Paul McJones — last modified 2021-03-15 14:28
77. J. Schwartz. Transferring SETLB to other machines. 20 September 1972.
220. F. Henglein. Overloading in SETL is not (syntactic) overloading after all. 8 April 1987. by Paul McJones — last modified 2021-09-16 16:21
220. F. Henglein. Overloading in SETL is not (syntactic) overloading after all. April 1987.
221. Fritz Henglein. A polymorphic type model for SETL. 17 July 1987. by Paul McJones — last modified 2021-09-16 16:35
221. Fritz Henglein. A polymorphic type model for SETL. 17 July 1987,
222. Fritz Henglein. Semi-unification. 6 April 1988. by Paul McJones — last modified 2021-09-16 16:35
222. Fritz Henglein. Semi-unification. 6 April 1988.
228. Jiazhen Cai, Philippe Facon, Fritz Henglein, Robert Paige, and Edmond Schonberg. Type transformation and data structure choice. November 1988. by Paul McJones — last modified 2021-09-16 16:37
228. Jiazhen Cai, Philippe Facon, Fritz Henglein, Robert Paige, and Edmond Schonberg. Type transformation and data structure choice. November 1988.
232. Fritz Henglein. Simple type inference and unification. 12 October 1988. by Paul McJones — last modified 2021-09-16 16:38
232. Fritz Henglein. Simple type inference and unification. 12 October 1988.
66. Elie Milgrom. BALMSETL Users Manual Version 1.0. 10 February 1972; revision 4, 14 August 1972. by Paul McJones — last modified 2022-01-18 11:17
66. Elie Milgrom. BALMSETL Users Manual Version 1.0. 10 February 1972; revision 4, 14 August 1972. [Marked "obsolete" in Newsletter 69.]
78. Bob Paige. Executing BALM and SETLB at NYU/Courant. 21 September 1972. by Paul McJones — last modified 2022-01-18 11:16
78. Bob Paige. Executing BALM and SETLB at NYU/Courant. 21 September 1972.
« December 2024 »
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: