Stephen Garland papers, 1950 - 2012Manuscript ML-101

Full Finding Aid

Title:

Stephen Garland papers, 1950 - 2012

Call Number:

Manuscript ML-101

Collection Dates:

1950 - 2012

Size of Collection:

25 boxes (33 linear ft.)

Abstract:

Stephen J. Garland, Dartmouth College, 1963 Mathematician and Computer Scientist. Contains correspondence, letters, notes, pamphlets, proposals, manuals, drafts, and overhead projector sheets. Documents Garland's involvement with the Dartmouth Computer Center and various computer projects including the development of BASIC and DTSS.

Access to Collection:

Unrestricted.

Use & Access

The materials represented in this guide may be accessed through the Rauner Special Collections Library at Dartmouth College. Rauner Library is located in Webster Hall. The materials must be used on-site and may not leave Rauner Library.

Rauner Special Collections Library is open to the public and in most cases no appointment is necessary. The exception is in the case of materials stored off site for which there may be a delay of up to 48 hours in retrieval. Please consult the Access to Collection statement below or contact Rauner Reference.

Access to Collection

Unrestricted.

Use Restrictions

Permission from Dartmouth College required for publication or reproduction.

Introduction to the Collection

The collection contains documents relating to Dr. Garland's career as a computer science researcher, especially his tenure as a professor at Dartmouth College and at the MIT Computer Science and Artificial Intelligence Laboratory. The documents include correspondence, notes, pamphlets, proposals, course notes, manuals, drafts, lectures, theses, professional papers, publications, reports, and overhead projector sheets. The records show his academic involvement in classes as well as his assistance of students completing independent research. Of note is Garland's involvement with the standardization of the BASIC computer language and in the Dartmouth Time Sharing System (DTSS). Also included are lectures given by other professors and academic notables in the mathematics and computer science communities as well as personal papers from Garland's boyhood and years at Dartmouth as an undergraduate.

Biography

Stephen J. Garland received an A.B. from Dartmouth College in 1963 and a Ph.D. in mathematical logic from the University of California at Berkeley in 1967. He served as Assistant Professor of Mathematics at Dartmouth starting in the late 1960s, and he went on to be Assistant Director of Software Development and Dartmouth's Kiewit Computation Center. He was involved with a project at the National Science Foundation to integrate computers in the undergraduate curriculum, and later would chair the College Board committee that developed the Advanced Placement Program in Computer Science. He also served as vice-chair of the American National Standards Institute(ANSI) X3J2 Basic Standards Committee. He was a member of the American Mathematical Society, the Association for Symbolic Logic, and the Mathematical Association of America. In 1985, he began working at the MIT Laboratory for Computer Science, specifically at the Computer Science and Artificial Intelligence Laboratory as a Principal Research Scientist. Among the projects he has worked on there are Project Oxygen, which investigates pervasive human-centered computing, the IOA Project, which produced a language and tools for distribution systems, and the Larch Prover, which is an automated proof assistant focused on designing software and hardware. He has written numerous articles for academic publications and technology conferences.

Series, Box & Folder List

Series 1, Papers, 1957-1994

Contains research and reviews, Computer Science and scholarship info., DTSS, BASIC, Computer Council files, C/S steering Committee, course information, correspondence, lecture notes, course guides, and reports.

Access Restrictions

Unrestricted.

Box: 1, Dates: 1957-1990

Research and Reviews, 1957-1994

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Reviewing - Books folder 1, 1976-1987
  • Folder: 2, Reviewing - Books folder 2, 1971-1986
  • Folder: 3, Reviewing - Journals, 1972-1990
  • Folder: 4, Article Reviews and Revisions 1, 1989-1994
  • Folder: 5, Article Reviews and Revisions 2, 1991-1992
  • Folder: 6, Refereeing folder 1, 1973-1980
  • Folder: 7, Refereeing folder 2, 1988
  • Folder: 8, Cornell visits 1979-80, 1979-1980
  • Folder: 9, Georgetown visit September 1980, 1980
  • Folder: 10, St. Olaf visit October 1980, 1980
  • Folder: 11, Wesleyan, 1978-1983
  • Folder: 12, Yourdon Courses folder 1, 1974-1976
  • Folder: 13, Yourdon Courses folder 2, 1974-1976
  • Folder: 14, Yourdon Brochures, 1974-1979
  • Folder: 15, Consulting, 1969-1976
  • Folder: 16, ONR, 1974-1978
  • Folder: 17, Grant Applications folder 1, 1972-1978
  • Folder: 18, Grant Applications folder 2, 1978
  • Folder: 19, Research Problems, 1966-1973
  • Folder: 20, Solved Problems, 1966
  • Folder: 21, "Nice" Problems, 1957-1966
  • Folder: 22, Dimensions of Posets, 1973
  • Folder: 23, Research Automata, 1967
  • Folder: 24, Research Invariant Sets, N.D.
  • Folder: 25, Research Borel Hierarchy, 1966-1969

Box: 2, Dates: 1962-1985

AP/CS, Math Department, CEEB, 1961-1985

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Research - Protection Syst., 1976-1979
  • Folder: 2, Woody Hoffman, 1979-1980
  • Folder: 3, CEEB Math Advisory Committee, 1981
  • Folder: 4, CEEB Publicity, 1982-1983
  • Folder: 5, CEEB Correspondence, 1981-1983
  • Folder: 6, AP/CS Minutes, Membership, 1981-1983
  • Folder: 7, CEEB Letters of Appointment, 1981-1983
  • Folder: 8, AP/CS Materials for meetings, 1981-1983
  • Folder: 9, AP/CS Course Description, 1982-1984
  • Folder: 10, AP/CS Background Information, 1978-1983
  • Folder: 11, AP/CS Teacher Training, 1982-1983
  • Folder: 12, AP/CS Teacher's Guide - Final, 1983
  • Folder: 13, AP/CS NCTM Article, 1982-1983
  • Folder: 14, AP/CS Speaking, Meetings, 1982-1983
  • Folder: 15, Alumni College, 1979-1980
  • Folder: 16, Math Dept. Assignments, 1967-1983
  • Folder: 17, Math Dept. History folder 1, 1961-1969
  • Folder: 18, Math Dept. History folder 2, 1976
  • Folder: 19, Math Dept. Minutes, 1967-1985
  • Folder: 20, Math Dept. Memos by S.J.G., 1969-1983
  • Folder: 21, Math Dept. Staffing, 1972-1985
  • Folder: 22, Math Dept. Students, 1967-1981
  • Folder: 23, Math Dept. Graduate Syllabus, 1962-1976
  • Folder: 24, Freshman Advising (past), 1978-1979
  • Folder: 25, Thayer Prize, April 1985
  • Folder: 26, Articles and Speeches, 1970-1980

Box: 3, Dates: 1968-1986

Computer Science and Scholarship Information, 1968-1986

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Undergraduate CS Major folder 1 , 1968-1980
  • Folder: 2, Undergraduate CS Major folder 2, 1973-1982
  • Folder: 3, Computer science Curriculum studies, 1968-1977
  • Folder: 4, CS Graduate work proposals, 1968-1973
  • Folder: 5, CIS birth folder1, 1978-1982
  • Folder: 6, CIS birth folder 2, 1982-1977
  • Folder: 7, CIS Proposal, 1971-1977
  • Folder: 8, CIS review folder 1, 1984-1985
  • Folder: 9, CIS review folder 2, 1984-1985
  • Folder: 10, CIS IBM Grant, 1978-1981
  • Folder: 11, CS Exams, 1981-1985
  • Folder: 12, CS Homework folder 1, 1984
  • Folder: 13, CS Homework folder 2, 1983-1984
  • Folder: 14, CS Programs, 1984
  • Folder: 15, CS Syllabi folder 1, 1984-1986
  • Folder: 16, CS Syllabi folder 2, 1978-1983
  • Folder: 17, College and scholarships: Bigelow Case - Master, 1979
  • Folder: 18, College and scholarships: Bob Bigelow, 1982-1983
  • Folder: 19, College and scholarships: References, 1982
  • Folder: 20, College and scholarships: Ethics Institute, 1981-1983
  • Folder: 21, College and scholarships: Jim Moor - joint work, 1983
  • Folder: 22, College and scholarships: Reunion Seminar on ethics 1983, 1983
  • Folder: 23, Software Protection, 1982-1983
  • Folder: 24, Software Protection - Copyright, 1976-1979
  • Folder: 25, Software Protection - Patents, 1976-1981
  • Folder: 26, CIS 176 spring 1982, 1982
  • Folder: 27, CIS 176 Syllabus, N.D.
  • Folder: 28, CIS 176 spring 1983, 1982-1983
  • Folder: 29, Privacy - Medical Records, 1980-1982

Box: 4, Dates: 1963-1984

Dartmouth Time Sharing System (DTSS), BASIC, Computer Council, C/S Steering Committee, 1963-1984

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Task force on Computing, 1981-1982
  • Folder: 2, Computer Science Steering Committee, 1980-1981
  • Folder: 3, Computer Council 1978-79 folder 1, 1969-1975
  • Folder: 4, Computer Council 1978-79 folder 2, 1975-1978
  • Folder: 5, Dartmouth Committees, 1973-1983
  • Folder: 6, BASIC Graphics publications, 1976-1978
  • Folder: 7, Basic Standards, 1980
  • Folder: 8, X3J2 - Minimal Basic Misc., 1968-1973
  • Folder: 9, DTSS BASIC old memos, 1971-1977
  • Folder: 10, DTSS Programs Logic, 1967-1976
  • Folder: 11, DTSS Programs RUNOFF, 1976-1980
  • Folder: 12, DTSS Programs Test Routines, 1972-1979
  • Folder: 13, DTSS Programs Misc., 1968-1982
  • Folder: 14, DTSS Projects, Measurement, model, 1972
  • Folder: 15, DTSS Projects: Resource alloc. , 1973-1977
  • Folder: 16, DTSS Training System Programming folder 1, 1975-1979
  • Folder: 17, DTSS Training System Programming folder 2, 1975
  • Folder: 18, DTSS Prehistory LGP30, 1963
  • Folder: 19, DTSS Prehistory GE235, 1964-1970
  • Folder: 20, DTSS History Project Reports, 1969-1972
  • Folder: 21, DTSS History Birth: 1967-70 folder 1, 1966-1970
  • Folder: 22, DTSS History Birth: 1967-70 folder 2, 1967-1970
  • Folder: 23, DTSS History Birth: 1967-70 folder 3, 1968-1970
  • Folder: 24, DTSS History Planning: 1971- folder 1 , 1971-1979
  • Folder: 25, DTSS History Planning: 1971- folder 2, 1977-1984
  • Folder: 26, DTSS History FIND, 1972-1976
  • Folder: 27, DTSS History Personnel, 1969-1971
  • Folder: 28, DTSS History Personal , 1964-1979
  • Folder: 29, DTSS Information Publications folder 1, 1969-1976
  • Folder: 30, DTSS Information Publications folder 2, 1976-1983
  • Folder: 31, DTSS Information System Overviews, 1977
  • Folder: 32, DCTS Talk, 1976

Box: 5, Dates: 1967-1986

Course Information, Math, C/S, Correspondence, 1967-1986

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Correspondence folder 1, 1978-1980
  • Folder: 2, Correspondence folder 2, 1980-1983
  • Folder: 3, Math 2: Pre-calculus, 1969-1970
  • Folder: 4, Math 4: Calculus, 1976-1981
  • Folder: 5, Math 6: Finite Math, 1969-1970
  • Folder: 6, Math 8: Honors Calculus, 1974
  • Folder: 7, Math 9, 1985
  • Folder: 8, Math 11: Freshmen Seminar, 1972-1975
  • Folder: 9, Math 16: Computing, 1971-1974
  • Folder: 10, Math/CS 18-19 Computer Science Syllabi, Exams, 1978-1986
  • Folder: 11, Math/CS 18-19-28 Course Evaluations, 1978-1985
  • Folder: 12, Math/CS 18-19 Computer Science Class Records, 1979-1985
  • Folder: 13, Math 28 (1972-78) Computer Science Syllabi, Exams, 1972-1986
  • Folder: 14, Math 28 (1972-78) Computer Science Class Records, 1972-1978
  • Folder: 15, Math 28 (1972-78) Computer Science Student Projects fol. 1, 1972-1978
  • Folder: 16, Math 28 (1972-78) Computer Science Student Projects fol. 2, 1972-1978
  • Folder: 17, Math 28: Project System Design, 1980-1981
  • Folder: 18, Math 39: Logic, Fall 1967, 1967
  • Folder: 19, Math 39: Logic, Fall 1971, 1971
  • Folder: 20, Math 59: Theory of Comp., 1977
  • Folder: 21, Math 69: Honors Logic folder 1, 1968-1977
  • Folder: 22, Math 69: Honors Logic folder 2, 1973-1977
  • Folder: 23, Math 73: Complex Variables, 1980
  • Folder: 24, Math 88: Linguistics, 1978
  • Folder: 25, Math 89: Honors Logic II, 1968-1969
  • Folder: 26, Math 118 Grad. Computing, 1967
  • Folder: 27, Math 119 Definability, 1970-1972
  • Folder: 28, Math 119 Model Theory, 1967-1969
  • Folder: 29, Math 129 Logic Seminar, 1974
  • Folder: 30, Math 109 Automata, 1972

Box: 6, Dates: 1964 -1984

Course Information and Lectures, 1964-1984

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, UCLA Eng. 123, 1970
  • Folder: 2, CS268A, 1976
  • Folder: 3, 1965 UC Scholarship Opportunity Program, 1964-1966
  • Folder: 4, Tuck School, 1982
  • Folder: 5, CIS 112: Alg. and Data Structures folder 1, 1981-1982
  • Folder: 6, CIS 112: Alg. and Data Structures folder 2, 1981-1984
  • Folder: 7, CIS 134: Project Management, 1981
  • Folder: 8, CIS 176: Ethics, 1982-1984
  • Folder: 9, Misc. Lectures folder 1, 1981
  • Folder: 10, Misc. Lectures folder 2, 1969
  • Folder: 11, Misc. Lectures folder 3, 1967-1969
  • Folder: 12, Seminars: Program languages, 1977
  • Folder: 13, Course evaluations, 1978-1979

Box: 7, Dates: 1973-1978

DTSS, Inc. Technical Memoranda; and Garland's Introduction to Computer Science text, 1969-1985

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Technical Memoranda 1 - 39, 1969-1977
  • Folder: 2, Technical Memoranda 40- 65, 1973 - 1975
  • Folder: 3, Technical Memoranda 66 - 89, 1973 - 1977
  • Folder: 4, Technical Memoranda 90 - 99, 1974 - 1977
  • Folder: 5, Technical Memoranda 100 - 110, 1977 - 1978
  • Folder: 6, Introduction to Computer Science with Applications in Pascal, Mar. 1985

Box: 8, Dates: 1963-1987

Course Guides for Garland's classes taught at Dartmouth; Manuals on BASIC language, DTSS descriptions

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Stephen J. Garland's Computer Science Course Texts and Math 18 Text, 1979 - 1982
  • Folder: 2, "Guide for Authors" copy annotated by Garland, 1982
  • Folder: 3, Dartmouth Computing Project Teaching Supplements 1 - 5, 1963 - 1967
  • Folder: 4, DTSS Descriptions, Guide, and Memos, 1963 - 1967
  • Folder: 5, Basic Programming Texts by Kemeny and Kurtz (Dartmouth Professors), First, Second, and Third Editions, 1967 - 1980
  • Folder: 6, Manuals for BASIC use in DTTS, 1964 - 1970
  • Folder: 7, American National Standards Institute (ANSI) Inc. Guide to full BASIC, 1987

Box: 9, Dates: 1961-1978

Reports on "Computing at Dartmouth", print-outs of computer programs

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, DTSS History: Reports on computing at Dartmouth, guide to a 1976 symposium "Man and the Computer" held at Dartmouth, manuals for IMPRESS, "Bertie", and Project Find, 1966 - 1977
  • Folder: 2, ALGOL COMPILER paper tapes (2) written by Garland, 1961 - 1962
  • Folder: 3, Phase II Exec bound computer print-outs, Jun. 1967
  • Folder: 4, "Conclude" program by Garland, bound computer print-out, 1975
  • Folder: 5, Runtime package for BASIC program, bound computer print-out, Aug. 1978

Box: 10, Dates: 1967 - 1986

Hanging files with Garland's notes, texts drafts, meetings, conferences, symposia, lecture notes

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Computability Text (John Wiley & Sons), 1975 - 1981
  • Folder: 2, Preliminary Draft, Chapters 1-3 of "Recursive Functions and Effective Computability", 1976 - 1980
  • Folder: 3, Preliminary Draft, Chapters 6 - 7 of "Recursive Functions and Effective Computability", 1976 - 1977
  • Folder: 4, Westinghouse Electric Corp. summer employment correspondence and SJG's reports, 1959 - 1961
  • Folder: 5, Association for Symbolic Logic Annual Meeting 1967 notes, 1967
  • Folder: 6, Axiomatic Set Theory Summer Institute notes and group photograph, 1967
  • Folder: 7, Plattsburgh Automata Conference correspondence and notes, 1969
  • Folder: 8, NATO Institute Summer Conference notes and program, 1969
  • Folder: 9, Logic Symposium notes and correspondence, 1970
  • Folder: 10, Sloan conference notes and correspondence, 1982
  • Folder: 11, Design notes for Advanced Placement (AP) Computer Science testing, 1983
  • Folder: 12, Advanced Placement (AP) Computer Science testing correspondence and notes, 1985
  • Folder: 13, SJG lecture notes: "The Role of Computing in Computer Science Education", 1985
  • Folder: 14, SJG lecture handout: "Program Correctness", given for the Friends of 2^7 Society, 1985 - 1986
  • Folder: 15, Notes and programs for various conferences, 1985 - 1986
  • Folder: 16, Notes on Calculus and Computing, for the Committee on the Undergraduate Program in Mathematics, 1986
  • Folder: 17, College Board and ETS meeting reports and correspondence relating to development of AP and GRE tests in Comp. Sci., 1974 - 1981
  • Folder: 18, Committee on Undergraduate Program in Mathematics memos, 1979 - 1980
  • Folder: 19, Curriculum Development for Dartmouth Computer Science, 1969 - 1972
  • Folder: 20, Wang Company File, 1979 - 1980
  • Folder: 21, SJG's notes and correspondence with ETS re. GRE Comp. Sci. exam, 1986 - 1987
  • Folder: 22, Lawrence Hall of Science, 1975 - 1976

Box: 11, Dates: 1966-1994

Hanging files with Garland's notes, correspondence, SJG thesis drafts, text materials, papers, book reviews

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Addison-Wesley copy editing and proof reading notes and correspondence, 1985 - 1986
  • Folder: 2, Extra Material, 1985
  • Folder: 3, Instructor's Guide to SJG's text "Introduction to Computer Science", 1986
  • Folder: 4, Addison-Wesley correspondence including royalty slips, 1980 - 1994
  • Folder: 5, Book reviews, 1980
  • Folder: 6, SJG's Ph.D. thesis: "Second Order Cardinal Characterizability" notes and correspondence, 1966- 1973
  • Folder: 7, Thesis - first draft, 1966 - 1973
  • Folder: 8, Thesis - last draft, 1966 - 1973
  • Folder: 9, SJG's paper "Generalized interpolation theorems" text and correspondence, 1974
  • Folder: 10, SJG's and Luckham's paper "Program Schemes, Recursion Schemes and Formal Languages" text and correspondence, 1972
  • Folder: 11, Dartmouth BASIC, 1970 - 1973
  • Folder: 12, Abacus magazine article contribution, 1983 - 1984
  • Folder: 13, National Council of Teachers of Mathematics correspondence re. AP Comp. Sci. test, 1983 - 1984
  • Folder: 14, SJG's contribution to Asia-Pacific Conference on Computer Education, paper describing AP Comp. Sci. testing, 1988
  • Folder: 15, Notes for Mathematics 119 course, 1970
  • Folder: 16, Preliminary draft, "Mathematical Logic", 1979, 1988
  • Folder: 17, Preliminary draft, "Mathematical Logic", Chapter Two, 1979
  • Folder: 18, Text material Logic, 1969

Series 2, Addendum, 1959-2005

Addendum

Access Restrictions

Unrestricted.

Box: 12, Dates: 1981-1995

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, RRL User's Manual, 1989

    Access Restrictions

    Unrestricted

  • Folder: 2, Technical Information Series, Class 1, 1984

    Access Restrictions

    Unrestricted

  • Folder: 3, REVE Papers, 1983-1984

    Access Restrictions

    Unrestricted

  • Folder: 4, REVE Archives, 1983-1984

    Access Restrictions

    Unrestricted

  • Folder: 5, REVE Users/Inquires, 1984-1986

    Access Restrictions

    Unrestricted

  • Folder: 6, REVE System, 1985-1987

    Access Restrictions

    Unrestricted

  • Folder: 7, Kathy Yelick, 1987-1992

    Access Restrictions

    Unrestricted

  • Folder: 8, MIT Theses, 1981-1983

    Access Restrictions

    Unrestricted

  • Folder: 9, LP: History, 1989

    Access Restrictions

    Unrestricted

  • Folder: 10, LP: Logic, 1987-1989

    Access Restrictions

    Unrestricted

  • Folder: 11, LP: Performance, 1987-1989

    Access Restrictions

    Unrestricted

  • Folder: 12, LP: Notes, 1989-1994

    Access Restrictions

    Unrestricted

  • Folder: 13, Parallel LP, 1993-1994

    Access Restrictions

    Unrestricted

  • Folder: 14, Asspegique and LP, 1991-1993

    Access Restrictions

    Unrestricted

  • Folder: 15, France, 1997-1998

    Access Restrictions

    Unrestricted

  • Folder: 16, LP Orderings, 1985-1995

    Access Restrictions

    Unrestricted

  • Folder: 17, LP: Cong, Closure, 1989-1995

    Access Restrictions

    Unrestricted

  • Folder: 18, LP: Agenda, 1992-1994

    Access Restrictions

    Unrestricted

  • Folder: 19, LP: Current, 1987-1992

    Access Restrictions

    Unrestricted

  • Folder: 20, LP: XLP, 1989

    Access Restrictions

    Unrestricted

  • Folder: 21, LP: SRC Proofs, 1987-1991

    Access Restrictions

    Unrestricted

  • Folder: 22, LP: Course, 1990-1994

    Access Restrictions

    Unrestricted

  • Folder: 23, Proof Club, 1994

    Access Restrictions

    Unrestricted

  • Folder: 24, M. Edmunds, B.S. Thesis, 1989

    Access Restrictions

    Unrestricted

  • Folder: 25, Eli Kaufman, 1992

    Access Restrictions

    Unrestricted

  • Folder: 26, Anya Pogosyants, 1993-1994

    Access Restrictions

    Unrestricted

  • Folder: 27, Mark Vandevoorde, 1993-1995

    Access Restrictions

    Unrestricted

  • Folder: 28, M. Vogt, B.S. Thesis, 1990

    Access Restrictions

    Unrestricted

  • Folder: 29, Lescanne, 1986

    Access Restrictions

    Unrestricted

  • Folder: 30, Martin, 1989-1990

    Access Restrictions

    Unrestricted

  • Folder: 31, Staunstrup, 1993

    Access Restrictions

    Unrestricted

Box: 13, Dates: 1987-2001

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Talks: REVE, 1987
  • Folder: 2, Talks: Induction, 1987
  • Folder: 3, Talks: LP Overview, 1987
  • Folder: 4, Meetings, Lake Arrowhead, 1987
  • Folder: 5, Papers: Induction, 1988
  • Folder: 6, Papers: CADE, 1988
  • Folder: 7, Papers: VLSI Verification, Jorgen, 1988
  • Folder: 8, Talks: LP, KB, CMU, 1989
  • Folder: 9, Papers: RTA, LP Overview, 1989
  • Folder: 10, Papers: Compositional Verif., Grenoble, 1989
  • Folder: 11, Talks: LP, BU, 1989
  • Folder: 12, Talks: Spec. Tools, Dartmouth, 1990
  • Folder: 13, Papers: Debugging Specification, Galilee, 1989-1990
  • Folder: 14, IEEE special issue: Debugging Larch Shared Language Spec., Garland and Guttag, 1990
  • Folder: 15, Meetings: Theorem Provers, 1992
  • Folder: 16, Papers: Karl-Heinz Buth, 1992
  • Folder: 17, Mechanized Design Verification, Niels Mellergaard, 1994
  • Folder: 18, Theses: Boutheina Chetali, 1996
  • Folder: 19, Verification using the Larch Prover, Boutheina Chetali, undated
  • Folder: 20, Technical Report No.179, 1989
  • Folder: 21, Computing Sciences Report, University of Surrey, E.A.Scott, 1993
  • Folder: 22, Group Theory in the Larch Prover, Ursula Martin, 1991
  • Folder: 23, LIENS report, 1995
  • Folder: 24, LIENS report, 1992
  • Folder: 25, NQTHM and LP, 1992
  • Folder: 26, Technical Report, University of London, 1992
  • Folder: 27, Graphical User Interface for LP, Ian McLelland, 1994
  • Folder: 28, NQTHM and LP, 1992
  • Folder: 29, LP: Papers on use, 1994
  • Folder: 30, Amy Moormann Zaremski, 1996
  • Folder: 31, Scotland, St. Andrews, 1994
  • Folder: 32, Talks: An Introduction to LP, 1994
  • Folder: 33, CADE, 1994
  • Folder: 34, Sample Use of LP, undated
  • Folder: 35, Meetings, RTA, 1989
  • Folder: 36, Papers: Circuit Design, 1992
  • Folder: 37, Talks: An Introduction to LP, 6.897, 2001
  • Folder: 38, Papers: Retimed CPU, 1992
  • Folder: 39, Meetings: Larch Workshop, 1992

Box: 14, Dates: 1982-1986

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Papers: Guttag, undated
  • Folder: 2, Larch, 1982-1985
  • Folder: 3, Larch: System, 1984-1986

Box: 15, Dates: 1984-2000,

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Larch: Tutorial, 1985
  • Folder: 2, Larch: Bugs, 1984-1986
  • Folder: 3, Larch: Help, 1986
  • Folder: 4, Larch: Logic, 1987-1988
  • Folder: 5, Larch: LSL, 1994-1997
  • Folder: 6, LSL Checker, 1989
  • Folder: 7, LSL Current, 1989-1993
  • Folder: 8, Larch Interface Language, 1988-1989
  • Folder: 9, Larch/c, 1990
  • Folder: 10, Larch: Larch/CLU, 1988
  • Folder: 11, Cornell Synthesizer Documentation, 1985-1987
  • Folder: 12, DEC Spec., 1989-1990
  • Folder: 13, Consulting-DEC, 1987-1992
  • Folder: 14, AQUA, 1995
  • Folder: 15, Wing, 1992
  • Folder: 16, Shortcoming of LCL 2.4, 1995
  • Folder: 17, Larch/C++, 1997
  • Folder: 18, First International Workshop on Larch, LCS, 1992
  • Folder: 19, First International Workshop on Larch, Springer-Verlag, 1992
  • Folder: 20, METRIS, 1992
  • Folder: 21, Dave Evans, 1993-1999
  • Folder: 22, Stata, 1996
  • Folder: 23, Yang Meng Tan, 1992-1993
  • Folder: 24, SPD-Equipment, 1988-1995
  • Folder: 25, LCS Employment, 1989-1995
  • Folder: 26, SPD-Reports, undated
  • Folder: 27, SPD-Students, 1986-2000
  • Folder: 28, SPD-Budget, 1995-1999
  • Folder: 29, NSF CCR-8706652, Automated Semantic Analysis, 1987-1989
  • Folder: 30, NSF CCR-8910848, Formal Specification, 1989-1991
  • Folder: 31, NSF CCR-9115797, Automated Reasoning, 1992-1995
  • Folder: 32, NSF CCR-9504248, Automated Reasoning, 1994-1997
  • Folder: 33, NSF INT-9016780, Theorem Prover Support, 1991-1994
  • Folder: 34, NSF INT-Rejected, Continuation of INT 9016780, 1993-1994
  • Folder: 35, NYNEX, 1988
  • Folder: 36, NSA, 1995-1996
  • Folder: 37, DARPA, 1988-1997
  • Folder: 38, Talks: Specification, NCR, 1989

Box: 16, Dates: 1959-1962

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Dartmouth course notes, 1959-1962

Box: 17, Dates: 1960-2001

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Dartmouth course notes, 1960-1961
  • Folder: 2, Dartmouth course notes, 1961
  • Folder: 3, Senior Thesis, 1963
  • Folder: 4, Addison, Recursive Functions, 1964
  • Folder: 5, Makkai, Model Theory, 1967
  • Folder: 6, Enderton, Recursive Functions, 1966
  • Folder: 7, Schwabhauser, Foundations of Geometry, 1965
  • Folder: 8, Addison, 1963-1966
  • Folder: 9, Addison, 1964-1967
  • Folder: 10, Tarsk, Set Theory, 1963-1964
  • Folder: 11, Berkeley Logic Colloquia & Informal Model Theory Seminar, 1963-1967
  • Folder: 12, Moschovakis, Descriptive Set Theory & Logic Seminar, UCLA, 1970-1971
  • Folder: 13, Loeve, Measure Theory, 1964
  • Folder: 14, Decision Problems in Number Theory, Robinson & Theory of Algorithms, Shepherdson, 1966
  • Folder: 15, Solovay, Foundation of Set Theory, 1966-1967
  • Folder: 16, Cook, Logic and Computers, 1966
  • Folder: 17, Enderton, Models for 2nd-order Number Theory & Seminar Reports, 1965-1967
  • Folder: 18, Garland, Seminar Reports, UC Berkeley, 1965-1967
  • Folder: 19, Logic: Lectures, undated
  • Folder: 20, Lecture Notes, 1980-1982
  • Folder: 21, Electronic Mail, 1975-1981
  • Folder: 22, Hebrew University, Software Engineering, 1983-1992
  • Folder: 23, Fulbright Program, 1990-1992
  • Folder: 24, ILP, 1987-2000
  • Folder: 25, 6.891 Theorem Proving, 1988
  • Folder: 26, 6.893, 1995
  • Folder: 27, Student Qualifying Exams, 1996-2001
  • Folder: 28, Eric Ding, 1995-1996
  • Folder: 29, Kastas Arkovdas, 1999

Box: 18, Dates: 1963-2002

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Publications, 1963-1991
  • Folder: 2, LCS News, 1984-1991
  • Folder: 3, LCS, Misc., 1988-1997
  • Folder: 4, LCS, Reports, 1983-1987
  • Folder: 5, LCS, Research Highlights, 1998
  • Folder: 6, LCS, Faculty and Research Staff, 1999
  • Folder: 7, LCS, Research Abstracts, 2002
  • Folder: 8, AIL, Research Abstracts, 2001
  • Folder: 9, Michael L. Dertouzos, 2001
  • Folder: 10, Technology Review, 1999
  • Folder: 11, LCS Celebration, 1999
  • Folder: 12, Project MAC 25th Anniversary, 1988
  • Folder: 13, LCS Introduction, undated
  • Folder: 14, LCS Research Symposium, 1988
  • Folder: 15, Project MAC 25th Anniversary, 1988
  • Folder: 16, LCS Research Activities, undated
  • Folder: 17, LCS Research Activities, undated
  • Folder: 18, LCS Research Activities, undated
  • Folder: 19, MIT Computer Science Research Symposium, 1988
  • Folder: 20, LCS Research Activities, undated
  • Folder: 21, LCS Progress Report, 1983-1984
  • Folder: 22, LCS Progress Report, 1985-1986
  • Folder: 23, LCS Progress Report, 1986-1987
  • Folder: 24, LCS Progress Report, 1988-1989
  • Folder: 25, LCS Progress Report, 1989-1990
  • Folder: 26, LCS Progress Report, 1990-1991
  • Folder: 27, LCS Progress Report, 1994-1995

Box: 19, Dates: 1992-1997

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, ARPA-CAETI, 1992-1997
  • Folder: 2, Brian Grossman, 1996
  • Folder: 3, Angelika Leeb, 1995-1996
  • Folder: 4, ORA, 1995-1997

Box: 20, Dates: 1990-2005

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Reports: Security Engineering, 1997-1999
  • Folder: 2, Andrew Myers, 1990-1999
  • Folder: 3, Active Networks: Proposal, 1996-2000
  • Folder: 4, Active Networks: Other proposals, 1998
  • Folder: 5, Active Networks: Baltimore, 1996-1997
  • Folder: 6, Active Networks, 1998
  • Folder: 7, DMSO, 1998
  • Folder: 8, Active Networks Demo Meeting, 2000
  • Folder: 9, INFOCOM, 1998
  • Folder: 10, Active Networks: Talks, 1997
  • Folder: 11, Active Networks: Legedza, 1998
  • Folder: 12, Li Wei Leiman, 1996-1998
  • Folder: 13, Active Networks: Nygren, 1998-1999
  • Folder: 14, Van C. Van, 1996-1997
  • Folder: 15, Active Networks, Wetherall, 1996-1998
  • Folder: 16, Active Networks, Santos, Wetherall and Tennenhouse, 1995-1998
  • Folder: 17, Spectrum Ware Proposals, 1998-2000
  • Folder: 18, Spectrum Ware Reports, 1995-1999
  • Folder: 19, Spectrum Ware Miscellaneous, 1997-1999
  • Folder: 20, Glomo Meeting, 1998-1999
  • Folder: 21, Vanu G. Bose, 1998
  • Folder: 22, Spectrum Ware Students, 1999-2000
  • Folder: 23, Stanley Hu, 2000-2001
  • Folder: 24, Matthew Welborn, 1999-2000
  • Folder: 25, John Ankcorn, 1999-2000
  • Folder: 26, Dorothy Curtis, 2000
  • Folder: 27, Project Oxygen, 2001-2002
  • Folder: 28, Project Oxygen, 2002-2003
  • Folder: 29, NTT/Oxygen Grant, 2000
  • Folder: 30, Project Oxygen, Records (in CD format), 2001-2004
  • Folder: 31, Project Oxygen: Dertouzos, 2000
  • Folder: 32, Michael L. Dertouzos, 2000
  • Folder: 33, Intentional Naming System (INS), 1999-2000
  • Folder: 34, Cricket, 2001
  • Folder: 35, Kalpak Kothari, 2001-2005
  • Folder: 36, Nikolaos Michalakis, 2001-2003
  • Folder: 37, Jorge Rafael Nogueras, 2001
  • Folder: 38, Haystack: Account, 2003
  • Folder: 39, Haystack: Coding, 2003-2005
  • Folder: 40, Simile, 2002-2004

Box: 21, Dates: 1987-2003

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, IOA/NSF Funding, 2001-2002
  • Folder: 2, IOA Proposals, 1998-2002
  • Folder: 3, IOA-CMI Proposal, 2000-2003
  • Folder: 4, IOA Deshpande Proposal, 2003
  • Folder: 5, NSF Proposal, 2002
  • Folder: 6, STC Proposal, 1998
  • Folder: 7, IOA-SBIR Proposal, 2003
  • Folder: 8, IOA Papers, 2000-2002
  • Folder: 9, Papers: CAV, Crete, IOAutomata, 1993
  • Folder: 10, Papers: FORTE, 1994
  • Folder: 11, FORTE/PSTV, 1996
  • Folder: 12, IOA Paper, 1999
  • Folder: 13, IOA Talks, 1993-1998
  • Folder: 14, IOA Manual-History, 1996-1997
  • Folder: 15, IOA-Related Work, 1997
  • Folder: 16, Technology Review, 2003
  • Folder: 17, IOA Case Studies, 1999-2003
  • Folder: 18, IOA Code, 1994-2003
  • Folder: 19, IOA Miscellaneous, 2001-2002
  • Folder: 20, LP: Verificaion of Distributed Algorithms, 1987-1988
  • Folder: 21, IOA-Students, 2001
  • Folder: 22, Andrej Bogdamov, 2001
  • Folder: 23, Anna Chefter, 1998
  • Folder: 24, Laura Dean, 2001
  • Folder: 25, Victor Luchangro, 1993-1994
  • Folder: 26, Chris Luhrs, 2001-2002
  • Folder: 27, Sean W. McGinnis, 1998
  • Folder: 28, Antonio Ramirez, 1999
  • Folder: 29, Toh Ne Win, 2001-2003
  • Folder: 30, Automated Verification, Ekrem Soylemez, 1993-1994
  • Folder: 31, Jash Tauber, 1998-2004
  • Folder: 32, IOA Composer, 1997-2003
  • Folder: 33, Michael Tsai, 2001
  • Folder: 34, Mandana Vaziri, 1995-1998
  • Folder: 35, NTT, 2001
  • Folder: 36, IOA/Draper, 2002
  • Folder: 37, Vida, 2002
  • Folder: 38, Robson, 2003
  • Folder: 39, IOA Patent, 1997-2000

Box: 22, Dates: 1997

Access Restrictions

Unrestricted

Box Contents

  • Folder: 1, Invention, 1997
  • Folder: 2, IOA Papers 5.1-5.4, 1997
  • Folder: 3, IOA Papers 5.5-8.3, 1997

Series 3, Addendum II, 1950-2012

April 2014 accession.

Access Restrictions

Unrestricted.

Box: 23, Dates: 1957-1959

Box Contents

  • Folder: 1, High School, 1957-1959
  • Folder: 2, New York Science Congress, 1958
  • Folder: 3, National Science Foundation Summer Institute, 1958
  • Folder: 4, Westinghouse Science Talent Search, 1959
  • Folder: 5, Science Talent Search - Entry, 1959
  • Folder: 6, Science Talent Search - News, 1959
  • Folder: 7, Dartmouth Undergraduate, 1960-1963
  • Folder: 8, Undergraduate Humanities I, 1960-1963
  • Folder: 9, Undergraduate Humanities II, 1960-1963
  • Folder: 10, Undergraduate Humanities III, 1960-1963
  • Folder: 11, Undergraduate Physics, 1960
  • Folder: 12, Graduate School, 1964-1966
  • Folder: 13, Berekely, circa 1964-1969

Box: 24, Dates: 1950-2012

Box Contents

  • Folder: 1, Correspondence, 1950-1969
  • Folder: 2, Corresondence, 1970-1974
  • Folder: 3, Correspondence, 1975-1976
  • Folder: 4, Correspondence, 1980-1984
  • Folder: 5, Correspondence, 1984-1989
  • Folder: 6, Correspondence, 1990-
  • Folder: 7, Correspondence - Consulting, 1987-2012
  • Folder: 8, Dartmouth/MIT faulty records, 1974-2003
  • Folder: 9, Dartmouth - Program in Computer and Information Science Brochures, 1979-1985
  • Folder: 10, Dartmouth - Program in Computer and Information Science - Miscellany, circa 1981-1988
  • Folder: 11, Kemeny, Slesnick, Kreider Memorials, 1993-2007
  • Folder: 12, Dartmouth Computing, 1963-1980
  • Folder: 13, Dartmouth Math, circa 1960-1980
  • Folder: 14, Dartmouth Faculty Brochures with Photographs, 1967-1983
  • Folder: 15, Dartmouth Graduate Students Brochures with Photographs, 1968-1985
  • Folder: 16, MIT, 2002-2008

Series 4, Addendum III, 1959-1967

June 2014 accession

Access Restrictions

Unrestricted.

Box: 25, Dates: 1959-1967

Box Contents

  • Folder: 1, Second-Order Cardinal Characterizability (photocopied typescript of Garland's Berkeley dissertation), 1967
  • Folder: 2, Notes for Julia Robinson's Mathematics 225 course at Berkeley, 1963-1964
  • Folder: 3, Dartmouth Professor Bancroft Brown's compilation of mathematics questions for Math 1, 1960
  • Folder: 4, Dartmouth ALGOL for the LGP-30, by Stephen Garland, Anthony W. Knapp and Thomas E. Kurtz., 1959-1964

Finding Aids