Abstract
This paper describes the development of LISP from McCarthy's first research in the topic of programming languages for AI until the stage when the LISP1 implementation had developed into a serious program (May 1959). We show the steps that led to LISP and the various proposals for LISP interpreters (between November 1958 and May 1959). The paper contains some correcting details to our book (32).
Formats available
You can view the full content in the following formats:
References
[1]
D.J. Edwards: Symbolic Circuit Analysis with 704 Electronic Computer, MIT BS Thesis, Dept. of EE. Cambridge 1959.
[2]
H. Gelernter, J.R. Hansen, C.L. Gerberich: A FORTRAN Compiled List Processing Language. Journal ACM 7(1960)2, 87-101.
[3]
H. Gelernter, J.R. Hanse D. Loveland: Empirical Explorations of the Geometry Machine. Proc. WJCC 1960.
[4]
H. Gelernter, N. Rochester: Realization of a Geometry Theorem Proving Machine. Information Processing, Proc. ICOI Paris 1959, Mënchen 1960.
[5]
S.H. Goldberg: Solution of an Electrical Network Using a Digital Computer. MIT MS Thesis, Dept. of EE. Cambridge 1959.
[6]
J.R. Hansen: The Use of the FORTRAN Compiled List Processing Language. IBM Th. Watson Res. Ctr., Resp. Rep. RC-282, Yorktown Heights, June 1960
[7]
IBM: Preliminary Report: Specifications for the IBM Mathematical FORmula TRANSlating System, FORTRAN. IBM Corp., Progr. Res. Group, Appl. Sci. Div., 1954.
[8]
IBM: The FORTRAN automatic Coding System for the IBM704 EDPM, Programmers Manual. IBM Corp., C28-6000, 1956.
[9]
J. McCarthy: Notes on the Sky-blue Compiler. On Functions which Produce more than one Quantity as Output. Letter to the director of MIT Computer Center, Cambridge 7/11/57.
[10]
J. McCarthy: The Programming Problem. Handwritten Note. Probably 1956.
[11]
J. McCarthy: Some Proposals for the Volume 2 (V2) Language. Letter to A.J. Perlis and W. Turanski, 6/1958.
[12]
J. McCarthy: An Algebraic Language for the Manipulation of Symbolic Expressions. MIT AI Lab., AI Memo No. 1, Cambridge Sept. 1958.
[13]
J. McCarthy: A Revised Version of "MAPLIST". MIT AI Lab., AI Memo No. 2, Cambridge Sept. 1958.
[14]
J. McCarthy: Symbol Manipulating Language - Revisions of the Language. MIT AI Lab., AI Memo No. 3, Cambridge October 1958.
[15]
J. McCarthy: Symbol Manipulating Language - Revisions of the Language. MIT AI Lab., AI Memo No. 4, Cambridge October 1958.
[16]
J. McCarthy: The Advice Taker, a Program with Common Sense. Symp. on the Mechanization of Thought Processes. Nat. Phys. Lab., Teddington (England) 24.-27.11.1958.
[17]
J. McCarthy: Artificial Intelligence Project. In: Progress Report No. 4 of the Research and Educational Activities in Machine Computation by the Cooperating Colleges of New England, Dec. 1958 (Semi-Annual Report).
[18]
J. McCarthy: Recursive Functions of Symbolic Expressions and their Computation by Machine. MIT AI Lab., AI Memo No. 8, Cambridge March 1959.
[19]
J. McCarthy: Recursive Functions of Symbolic Expressions and their Computation by Machine. In: (27)
[20]
J. McCarthy: LISP Programmers Manual, Handwritten Draft, MIT AI Lab., Cambridge Oct. 1959.
[21]
J. McCarthy: Recursive Functions of Symbolic Expressions and their Computation by Machine. Communications ACM, 3(1960)3, 184-195.
[22]
J. McCarthy: LISP History. Talk at MIT, Spring or Summer 1974 (Written from tape 7/10/75, unpublished)
[23]
J. McCarthy: History of LISP. ACM SIGPLAN Notices, 13(1978)8, 217-223.
[24]
J. McCarthy: Personal Communication 1976.
[25]
J. McCarthy et al.: A Proposal for the Dartmouth Summer Project on Artificial Intelligence. 8/31/55.
[26]
J. McCarthy, M. Merwin: Routines for Turning FORTRAN Program into FORTRAN Routine Computation Center MIT, Cambridge, January 1958.
[27]
J. McCarthy, M.L. Minsky: Artificial Intelligence. Quarterly Progress Report No. 53, Res. Lab. of Electronics MIT, Cambridge, April 1959.
[28]
J.W. Backus et al.: Proposal for a Programming Language. ACM April/May 1958.
[29]
P. McCorduck: Machines who Think. W.H. Freeman & Comp., San Francisco 1979.
[30]
N. Rochester: Symbol Manipulation Language. MIT AI Lab., AI Memo No. 5, Cambridge November 1959.
[31]
S.Z. Rubenstein: The Construction of the Admittance Matrix with a Digital Computer. MIT BS Thesis, Dept. of EE. Cambridge, May 1959.
[32]
H. Stoyan: LISP - Anwendungsgebiete, Grundbegriffe, Geschichte. Akademie Verlag, Berlin 1980.
[33]
H. Stoyan: LISP Compilation Viewed as Provable Semantics Preserving Program Transformation. LNCS 162: J.A. van Hulzen Computer Algebra, Springer Verlag, Berlin etc. 1983.
[34]
H. Stoyan: Maschinen-Unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation. Habil. Thesis, University of ErlangenNürnberg, Erlangen 1984.
[35]
J. Sammet: Programming Languages: History and Fundamentals. Englewood Cliffs 1969.