Stephen Squires papers
Item Details
- Date
- 1954-2019, 1972-1998
- Collection title
- Stephen Squires papers
- Credit
- Gift of Ann B. Marmor-Squires
- Catalogue number
- 600000940
- Lot number
- 2024.0104
Draft 3. Includes plans, elevations and captions.
Includes plans and photographs of models.
Includes plans and photographs of models, plus approval annotations and blueprint=style plan (1/4" = 1').
Heavily annotated by Squires.
Preliminary draft of plans for control center and rear stairs. Two copies.
<p>At the end of September 1969 I began to study some recent work on finite tree automata and tree transducers. I was also conerned with another kind of tree-manipulating system: formal computations in McCarthy's calculus for recursive definitions. Recursively defined functions were obviously single-valued, even in versions of the calculus that allowed much more freedom than the original one in deciding which formal procedure call to evaluate next, yet a rigorous proof was strangely elusive.</p>
<p>Proposal presented to get economic support to keep developing EL1 and ECL.</p>
<p style="text-align: left;">There exist mutually divisible nonisomorphic semigroups. A simple proof of this fact is given. Also, countable semigroups which are dvisible by every countable semigroup are characterized.</p>
<p>Proposal presented to the Advanced Research Projects Agency to develop a series of tools to assist the whole programming process.</p>
<p>Collection of documents and papers related to ECL.</p>
<p>Collection of 16 talks presented by the members of the Navy Mathematical Computing Advisory Panel in May 1954.</p>
<p>The GENRAP System can be viewed as serving two functions: the first being the development of a programming language; and the second being the construction of a translator for a programming language. These two functions are by no means mutually exclusive in that the method of translation may impose restrictions upon the language, and vice versa, but each function requires very different methods of operation.</p>
<p>The work reported in this paper is intended to be a semi-formal model for the syntactic and semantic specification of an elementary BASEL.</p>
<p>Third edition: This edition of the NICOL manual represents a complete revision of the First Edition. Topics included here but not in the first edition are type-conversion and truncation guidance functions, expression evaluation, procedure blocks, and routines.</p>
<p>This document discusses the syntaxt descriptive language "BNF," the generation strategy language "GSL," and the manner in which each of these languages is used within the Compiler Generator System. </p> <p>This document is a textbook designed to teach programmers to write translator descriptions in BNFGSL. Effort has been expended to make the textbook simple, redundant, and free from irrelevant formal remarks, no matter how interesting. It is our hope that the price paid in prolixity will be returned in ease of assimilation by readers with very little experience in systems programming.</p>
<p>This document is a complete listing of the TRANDIR program for the compilation of Oak Ridge ALGOL into CD 1604 XAP assembly language.</p>
<p>This document is intended to be an informal, but complete, description of the TRANDIR language. It is hoped that, due to the informal nature of this description, it will prove useful as a reference document.</p>
<p>Languages providing dynamic storage allocation usually provide for the automatic reclamation of unused storage by garbage collection... In its simplest form, a garbage collector reclaims unused storage while leaving objects in situ i.e., in the same memory locations.</p>
<p>In constructing a general purpose programing language, a key issue is providing a sufficient set of data types and associated operations in a manner that permits both natural problem-oriented notation and very efficient implementation. The language EL1 contains a number of features specifically designed to simultaneously satisfy both requirements. The resulting treatment of data types includes provision for programmer-conversion, and very flexible data type behavior, in a context that allows efficient compiled code and very compact data represebtation.</p>
<p>Table of Contents:</p> <p>Extensible language-- where are we going (Cheatham)</p> <p>An overview of the ECL programming system (Wegbreit)</p> <p>Interpreter/ compiler integration in ECL (Holloway)</p> <p>An implementation of ECL data types (Brosgol)</p> <p>The control structure facilities of ECL (Prenner)</p>