Skip header Section
Skip Bibliometrics Section
LISP 1.5 Programmer's ManualAugust 1962
- Author:
- John McCarthy
Abstract
No abstract available.
Cited By
Taeumel M and Hirschfeld R Evolving User Interfaces From Within Self-supporting Programming Environments Proceedings of the Programming Experience 2016 (PX/16) Workshop, (43-59)- Rein P, Lehmann S, Mattis T and Hirschfeld R How Live are Live Programming Systems? Proceedings of the Programming Experience 2016 (PX/16) Workshop, (1-8)
- Heitzinger C and Tulzer G Julia and the numerical homogenization of PDEs Proceedings of the 1st First Workshop for High Performance Technical Computing in Dynamic Languages, (36-40)
- Penkler D An Array and List Processing System Proceedings of ILC 2014 on 8th International Lisp Conference, (22-30)
- McDirmid S Usable live programming Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, (53-62)
- Bergstra J and Middelburg C (2013). Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting, Fundamenta Informaticae, 128:4, (367-412), Online publication date: 1-Oct-2013.
- Turner D Some History of Functional Programming Languages Proceedings of the 2012 Conference on Trends in Functional Programming - Volume 7829, (1-20)
- Rhiger M Staged computation with staged lexical scope Proceedings of the 21st European conference on Programming Languages and Systems, (559-578)
- Mazhirin I Applicative information system for the web environment Proceedings of the International Conference on Management of Emergent Digital EcoSystems, (143-144)
- Piumarta I Open, extensible composition models Proceedings of the 1st International Workshop on Free Composition, (1-5)
- El-Mouadib F, Zubi Z, Almagrous A and El-Feghi I (2009). Interactive natural language interface, WSEAS Transactions on Computers, 8:4, (661-680), Online publication date: 1-Apr-2009.
- Evers L, Lijding M and Kuper J Generic multi--packet communication through object serialization Proceedings of the 3rd international workshop on Middleware for sensor networks, (25-30)
- Gabriel R and Steele G A pattern of language evolution Celebrating the 50th Anniversary of Lisp, (1-10)
- Langmaack H On revival of Algol-concepts in modern programming and specification languages Formal methods and hybrid real-time systems, (414-434)
- Gabriel R and Goldman R Conscientious software Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (433-450)
- Riehl J Assimilating MetaBorg: Proceedings of the 5th international conference on Generative programming and component engineering, (21-28)
- Gabriel R and Goldman R (2006). Conscientious software, ACM SIGPLAN Notices, 41:10, (433-450), Online publication date: 16-Oct-2006.
- Gomez-Sanz J The construction of multi-agent systems as an engineering discipline Proceedings of the 7th international conference on Engineering societies in the agents world VII, (25-37)
- Dekorte S Io Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (166-167)
- Ryder B, Soffa M and Burnett M (2005). The impact of software engineering research on modern programming languages, ACM Transactions on Software Engineering and Methodology, 14:4, (431-477), Online publication date: 1-Oct-2005.
- Vinju J Type-driven automatic quotation of concrete object code in meta programs Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (97-112)
- Cordy J (2004). TXL - A Language for Programming Language Tools and Applications, Electronic Notes in Theoretical Computer Science (ENTCS), 110:C, (3-31), Online publication date: 31-Dec-2005.
- Danvy O A rational deconstruction of landin's SECD machine Proceedings of the 16th international conference on Implementation and Application of Functional Languages, (52-71)
- Ryder B and Soffa M (2003). Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design, ACM SIGSOFT Software Engineering Notes, 28:4, (29-35), Online publication date: 1-Jul-2003.
- Ryder B and Soffa M (2003). Influences on the design of exception handling, ACM SIGPLAN Notices, 38:6, (16-22), Online publication date: 1-Jun-2003.
- Lisovsky K (2002). XML Applications Development in Scheme, Programming and Computing Software, 28:4, (197-206), Online publication date: 1-Jul-2002.
- Barendregt H and Barendsen E (2002). Autarkic Computations in Formal Proofs, Journal of Automated Reasoning, 28:3, (321-336), Online publication date: 1-Apr-2002.
- Futamura Y (1999). Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler, Higher-Order and Symbolic Computation, 12:4, (381-391), Online publication date: 1-Dec-1999.
- Futamura Y (1999). Partial Evaluation of Computation Process, Revisited, Higher-Order and Symbolic Computation, 12:4, (377-380), Online publication date: 1-Dec-1999.
- Wand M (1999). Continuation-Based Multiprocessing Revisited, Higher-Order and Symbolic Computation, 12:3, (283-283), Online publication date: 1-Oct-1999.
- Bjørner D and Cuéllar J (1999). Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
- Reynolds J (1998). Definitional Interpreters Revisited, Higher-Order and Symbolic Computation, 11:4, (355-361), Online publication date: 1-Dec-1998.
- Sussman G and Steele G (1998). Scheme, Higher-Order and Symbolic Computation, 11:4, (405-439), Online publication date: 1-Dec-1998.
- Wand M (1998). The Theory of Fexprs is Trivial, Lisp and Symbolic Computation, 10:3, (189-199), Online publication date: 1-May-1998.
- Haynes C (1998). Experience with an analytic approach to teaching programming languages, ACM SIGCSE Bulletin, 30:1, (350-354), Online publication date: 1-Mar-1998.
- Haynes C Experience with an analytic approach to teaching programming languages Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (350-354)
- Pippenger N Pure versus impure Lisp Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (104-109)
- Steele G and Gabriel R The evolution of Lisp History of programming languages---II, (233-330)
- Fateman R, Broughan K, Willcock D and Rettig D (1995). Fast floating-point processing in Common Lisp, ACM Transactions on Mathematical Software, 21:1, (26-62), Online publication date: 1-Mar-1995.
- Jenks R and Trager B How to make AXIOM into a scratchpad Proceedings of the international symposium on Symbolic and algebraic computation, (32-40)
- Baker H (1993). Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, 4:4, (2-27), Online publication date: 1-Oct-1993.
- Sitaram D Handling control Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, (147-155)
- Gordon A An operational semantics for I/O in a lazy functional language Proceedings of the conference on Functional programming languages and computer architecture, (136-145)
- Sitaram D (1993). Handling control, ACM SIGPLAN Notices, 28:6, (147-155), Online publication date: 1-Jun-1993.
- Baker H (1992). The buried binding and dead binding problems of Lisp 1.5, ACM SIGPLAN Lisp Pointers, V:2, (11-19), Online publication date: 1-Apr-1992.
- Baker H (1992). CONS should not CONS its arguments, or, a lazy alloc is a smart alloc, ACM SIGPLAN Notices, 27:3, (24-34), Online publication date: 1-Mar-1992.
- Glück R (1991). Towards multiple self-application, ACM SIGPLAN Notices, 26:9, (309-320), Online publication date: 1-Sep-1991.
- Glück R Towards multiple self-application Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (309-320)
- McIntosh H and Cisneros G (1990). The programming languages REC and convert, ACM SIGPLAN Notices, 25:7, (81-94), Online publication date: 1-Jul-1990.
- Sitaram D and Felleisen M Reasoning with continuations II: full abstraction for models of control Proceedings of the 1990 ACM conference on LISP and functional programming, (161-175)
- Nordstrom D (1990). Threading Lisp, ACM SIGPLAN Notices, 25:2, (17-24), Online publication date: 1-Feb-1990.
- Silbermann F and Jayaraman B Set abstraction in functional and logic programming Proceedings of the fourth international conference on Functional programming languages and computer architecture, (313-326)
- Rosendahl M Automatic complexity analysis Proceedings of the fourth international conference on Functional programming languages and computer architecture, (144-156)
- Lieberman H and Fry C (1988). Common EVAL, ACM SIGPLAN Lisp Pointers, 2:1, (23-33), Online publication date: 1-Jul-1988.
- Queinnec C (1988). Dynamic extent objects, ACM SIGPLAN Lisp Pointers, 2:1, (11-21), Online publication date: 1-Jul-1988.
- Morrison R, Atkinson M, Brown A and Dearle A (1988). Bindings persistent programming languages, ACM SIGPLAN Notices, 23:4, (27-34), Online publication date: 1-Apr-1988.
- Jayaraman B (1988). Semantics of EqL, IEEE Transactions on Software Engineering, 14:4, (472-480), Online publication date: 1-Apr-1988.
- Bryant B, Edupuganty B, Sundararaghavan K and Takaoka T Two-level grammar Proceedings of the 1988 ACM sixteenth annual conference on Computer science, (469-474)
- Felleisen M The theory and practice of first-class prompts Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (180-190)
- Queinnec C and Cointe P An open-ended data representation model for EU_LISP Proceedings of the 1988 ACM conference on LISP and functional programming, (298-308)
- O'Bagy J and Griswold R (1987). A recursive interpreter for the Icon programming language, ACM SIGPLAN Notices, 22:7, (138-149), Online publication date: 1-Jul-1987.
- O'Bagy J and Griswold R A recursive interpreter for the Icon programming language Papers of the Symposium on Interpreters and interpretive techniques, (138-149)
- Sosnowski R (1987). Prolog dialects: a deja vu of BASICs, ACM SIGPLAN Notices, 22:6, (39-48), Online publication date: 1-Jun-1987.
- Wong K, Coghill G and Hannah J ICMS Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, (168-172)
- Girardot J The APL 90 project Proceedings of the international conference on APL: APL and the future, (12-18)
- Wah B and Li G (1986). Survey on special purpose computer architectures for AI, ACM SIGART Bulletin:96, (28-46), Online publication date: 1-Apr-1986.
- Rosenschein S and Kaelbling L The synthesis of digital machines with provable epistemic properties Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, (83-98)
- Felgentreu K and Lippe W Dynamic optimization of covered tail recursive functions in applicative languages Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (293-299)
- Leeman G (1986). A formal approach to undo operations in programming languages, ACM Transactions on Programming Languages and Systems, 8:1, (50-87), Online publication date: 2-Jan-1986.
- Keller R and Sleep M (1986). Applicative caching, ACM Transactions on Programming Languages and Systems, 8:1, (88-108), Online publication date: 2-Jan-1986.
- Ogbokor D (1985). LISP language as part of "advanced programming techniques" for computer science, computer mathematics, and computer economics students, ACM SIGCSE Bulletin, 17:4, (94-95), Online publication date: 1-Dec-1985.
- Boyer B and Kaufmann M (1985). A prototype theorem-prover for a higher-order functional language, ACM SIGSOFT Software Engineering Notes, 10:4, (72-74), Online publication date: 1-Aug-1985.
- Sohi G, Davidson E and Patel J An efficient LISP-execution architecture with a new representation for list structures Proceedings of the 12th annual international symposium on Computer architecture, (91-98)
- Sohi G, Davidson E and Patel J (1985). An efficient LISP-execution architecture with a new representation for list structures, ACM SIGARCH Computer Architecture News, 13:3, (91-98), Online publication date: 1-Jun-1985.
- Girardot J (1985). The APL 90 project, ACM SIGAPL APL Quote Quad, 15:4, (12-18), Online publication date: 12-May-1985.
- Glass H (1985). Threaded interpretive systems and functional programming environments, ACM SIGPLAN Notices, 20:4, (24-32), Online publication date: 1-Apr-1985.
- Sannella D (1984). A set-theoretic semantics for Clear, Acta Informatica, 21:5, (443-472), Online publication date: 1-Dec-1984.
- Rivières J and Smith B The implementation of procedurally reflective languages Proceedings of the 1984 ACM Symposium on LISP and functional programming, (331-347)
- Chailloux J, Devin M and Hullot J LELISP, a portable and efficient LISP system Proceedings of the 1984 ACM Symposium on LISP and functional programming, (113-122)
- Donzeau-Gouge V, Kahn G, Lang B and Mélèse B (1984). Document structure and modularity in mentor, ACM SIGPLAN Notices, 19:5, (141-148), Online publication date: 1-May-1984.
- Donzeau-Gouge V, Kahn G, Lang B and Mélèse B (1984). Document structure and modularity in mentor, ACM SIGSOFT Software Engineering Notes, 9:3, (141-148), Online publication date: 1-May-1984.
- Becker R and Chambers J (1984). Design of the S system for data analysis, Communications of the ACM, 27:5, (486-495), Online publication date: 1-May-1984.
- Donzeau-Gouge V, Kahn G, Lang B and Mélèse B Document structure and modularity in mentor Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (141-148)
- Leavens G (1984). Prettyprinting styles for various languages, ACM SIGPLAN Notices, 19:2, (75-79), Online publication date: 1-Feb-1984.
- Smith B Reflection and semantics in LISP Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (23-35)
- McCrosky C, Glasgow J and Jenkins M Nial Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, (157-166)
- Kluge W (1983). Cooperating Reduction Machines, IEEE Transactions on Computers, 32:11, (1002-1012), Online publication date: 1-Nov-1983.
- Cormack G Extensions to static scoping Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (187-191)
- Cormack G (1983). Extensions to static scoping, ACM SIGPLAN Notices, 18:6, (187-191), Online publication date: 1-Jun-1983.
- Clifford J and Warren D (1983). Formal semantics for time in databases, ACM Transactions on Database Systems, 8:2, (214-254), Online publication date: 1-Jun-1983.
- Dongyue C (1983). Symbol manipulation and formula manipulation, ACM SIGSAM Bulletin, 17:2, (26-27), Online publication date: 1-May-1983.
- Wise M (1982). EPILOG = PROLOG + Data Flow, ACM SIGPLAN Notices, 17:12, (80-86), Online publication date: 1-Dec-1982.
- Georgeff M A scheme for implementing functional values on a stack machine Proceedings of the 1982 ACM symposium on LISP and functional programming, (188-195)
- Steele G An overview of COMMON LISP Proceedings of the 1982 ACM symposium on LISP and functional programming, (98-107)
- Jones M (1982). A comparison of LISP specifications of function definition and argument handling, ACM SIGPLAN Notices, 17:8, (67-73), Online publication date: 1-Aug-1982.
- Baker T A single-pass syntax-directed front end for Ada Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (318-326)
- Baker T (1982). A single-pass syntax-directed front end for Ada, ACM SIGPLAN Notices, 17:6, (318-326), Online publication date: 1-Jun-1982.
- Buneman P, Frankel R and Nikhil R (1982). An implementation technique for database query languages, ACM Transactions on Database Systems, 7:2, (164-186), Online publication date: 1-Jun-1982.
- Hommes F The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine Proceedings of the 9th annual symposium on Computer Architecture, (248-256)
- Sansonnet J, Castan M, Percebois C, Botella D and Perez J (1982). Direct execution of lisp on a list_directed architecture, ACM SIGPLAN Notices, 17:4, (132-139), Online publication date: 1-Apr-1982.
- Reddy U Programming with sequences Proceedings of the 20th annual Southeast regional conference, (189-198)
- Gifford D (1982). Cryptographic sealing for information secrecy and authentication, Communications of the ACM, 25:4, (274-286), Online publication date: 1-Apr-1982.
- Hommes F (1982). The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine, ACM SIGARCH Computer Architecture News, 10:3, (248-256), Online publication date: 1-Apr-1982.
- Sansonnet J, Castan M, Percebois C, Botella D and Perez J (1982). Direct execution of lisp on a list_directed architecture, ACM SIGARCH Computer Architecture News, 10:2, (132-139), Online publication date: 1-Mar-1982.
- Sansonnet J, Castan M, Percebois C, Botella D and Perez J Direct execution of lisp on a list_directed architecture Proceedings of the first international symposium on Architectural support for programming languages and operating systems, (132-139)
- Komorowski H Partial evaluation as a means for inferencing data structures in an applicative language Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (255-267)
- Sparr T A language for a scientific and engineering database system Proceedings of the 19th Design Automation Conference, (865-871)
- Johnson G APL in operating systems research Proceedings of the international conference on APL, (160-166)
- Johnson G (1981). APL in operating systems research, ACM SIGAPL APL Quote Quad, 12:1, (160-166), Online publication date: 1-Sep-1981.
- Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGMOD Record, 11:2, (29-35), Online publication date: 1-Feb-1981.
- Cartwright R, Hood R and Matthews P Paths Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-27)
- Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGART Bulletin:74, (29-35), Online publication date: 1-Jan-1981.
- Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGPLAN Notices, 16:1, (29-35), Online publication date: 1-Jan-1981.
- Steele G and Sussman G (1980). Design of a LISP-based microprocessor, Communications of the ACM, 23:11, (628-645), Online publication date: 1-Nov-1980.
- Ashcroft E and Wadge B (1980). Some common misconceptions about Lucid, ACM SIGPLAN Notices, 15:10, (15-26), Online publication date: 1-Oct-1980.
- Witten I Translating interactive computer dialogues from ideographic to alphabetic languages Proceedings of the 8th conference on Computational linguistics, (526-533)
- Keller R Divide and concer Proceedings of the 1980 ACM conference on LISP and functional programming, (196-202)
- Pitman K Special forms in Lisp Proceedings of the 1980 ACM conference on LISP and functional programming, (179-187)
- Muchnick S and Pleban U A semantic comparison of LISP and SCHEME Proceedings of the 1980 ACM conference on LISP and functional programming, (56-64)
- McKay D and Shapiro S MULTI - a LISP based multiprocessing system Proceedings of the 1980 ACM conference on LISP and functional programming, (29-37)
- Wand M Continuation-based multiprocessing Proceedings of the 1980 ACM conference on LISP and functional programming, (19-28)
- McCarthy J LISP - notes on its past and future Proceedings of the 1980 ACM conference on LISP and functional programming, (.5-viii)
- Boley H (1980). A preliminary survey of artificial intelligence machines, ACM SIGART Bulletin:72, (21-28), Online publication date: 1-Jul-1980.
- Rowe L Data abstraction from a programming language viewpoint Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (29-35)
- Halstead R and Ward S The MuNet Proceedings of the 7th annual symposium on Computer Architecture, (139-145)
- Sansonnet J, Castan M and Percebois C M3L Proceedings of the 7th annual symposium on Computer Architecture, (105-112)
- Levine J (1980). Why a Lisp-based command language?, ACM SIGPLAN Notices, 15:5, (49-53), Online publication date: 1-May-1980.
- Soloway E and Woolf B Problems, plans, and programs Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (16-24)
- Soloway E and Woolf B (1980). Problems, plans, and programs, ACM SIGCSE Bulletin, 12:1, (16-24), Online publication date: 1-Feb-1980.
- Marti J, Hearn A, Griss M and Griss C (1980). Standard LISP report, ACM SIGSAM Bulletin, 14:1, (23-43), Online publication date: 1-Feb-1980.
- Friedman D and Wise D An indeterminate constructor for applicative programming Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (245-250)
- Firestone R (1980). An experimental LISP system for the SPERRY UNIVAC 1100 Series, ACM SIGPLAN Notices, 15:1, (117-129), Online publication date: 1-Jan-1980.
- Shopiro J (1979). Theseus—a programming language for relational databeses, ACM Transactions on Database Systems, 4:4, (493-517), Online publication date: 1-Dec-1979.
- Marti J, Hearn A, Griss M and Griss C (1979). Standard LISP report, ACM SIGPLAN Notices, 14:10, (48-68), Online publication date: 1-Oct-1979.
- Goto E, Ida T, Hiraki K, Suzuki M and Inada N Flats, a machine for numerical, symbolic and associative computing Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2, (1058-1066)
- MacLennan B (1979). Observations on the differences between formulas and sentences and their application to programming language design, ACM SIGPLAN Notices, 14:7, (51-61), Online publication date: 1-Jul-1979.
- Goto E, Ida T, Hiraki K, Suzuki M and Inada N FLATS, a machine for numerical, symbolic and associative computing Proceedings of the 6th annual symposium on Computer architecture, (102-110)
- Gull W and Jenkins M (1979). Recursive data structures in APL, Communications of the ACM, 22:2, (79-96), Online publication date: 1-Feb-1979.
- Levin M An Introduction To DIAM Levels Of Abstraction In Accessing Information Proceedings of the 1978 annual conference, (357-369)
- Spitzen J, Levitt K and Robinson L (1978). An example of hierarchical design and proof, Communications of the ACM, 21:12, (1064-1075), Online publication date: 1-Dec-1978.
- Kovats T (1978). Program readability, closing keywords and prefix-style intermediate keywords, ACM SIGPLAN Notices, 13:11, (30-42), Online publication date: 1-Nov-1978.
- McCarthy J (1978). History of LISP, ACM SIGPLAN Notices, 13:8, (217-223), Online publication date: 1-Aug-1978.
- Baker H (1978). Shallow binding in Lisp 1.5, Communications of the ACM, 21:7, (565-569), Online publication date: 1-Jul-1978.
- (1978). LISP books, ACM Lisp Bulletin:2, (3-3), Online publication date: 1-Jul-1978.
- McCarthy J History of LISP History of programming languages, (173-185)
- Baker H (1978). List processing in real time on a serial computer, Communications of the ACM, 21:4, (280-294), Online publication date: 1-Apr-1978.
- Friedman D and Wise D (1978). Aspects of Applicative Programming for Parallel Processing, IEEE Transactions on Computers, 27:4, (289-296), Online publication date: 1-Apr-1978.
- Claybrook B (1977). A facility for defining and manipulating generalized data structures, ACM Transactions on Database Systems, 2:4, (370-406), Online publication date: 1-Dec-1977.
- Griss M and Swanson M MBALM/1700 Proceedings of the 10th annual workshop on Microprogramming, (15-25)
- Montangero C, Pacini G and Turini F (1977). Two-level control structure for nondeterministic programming, Communications of the ACM, 20:10, (725-730), Online publication date: 1-Oct-1977.
- Minker J (1977). Information storage and retrieval, ACM SIGIR Forum, 12:2, (12-108), Online publication date: 1-Sep-1977.
- Griss M and Swanson M (1977). MBALM/1700, ACM SIGMICRO Newsletter, 8:3, (15-25), Online publication date: 1-Sep-1977.
- Warren D, Pereira L and Pereira F Prolog - the language and its implementation compared with Lisp Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (109-115)
- Warren D, Pereira L and Pereira F (1977). Prolog - the language and its implementation compared with Lisp, ACM SIGART Bulletin:64, (109-115), Online publication date: 1-Aug-1977.
- Warren D, Pereira L and Pereira F (1977). Prolog - the language and its implementation compared with Lisp, ACM SIGPLAN Notices, 12:8, (109-115), Online publication date: 1-Aug-1977.
- Liskov B, Snyder A, Atkinson R and Schaffert C (1977). Abstraction mechanisms in CLU, Communications of the ACM, 20:8, (564-576), Online publication date: 1-Aug-1977.
- Shaw M, Wulf W and London R (1977). Abstraction and verification in Alphard, Communications of the ACM, 20:8, (553-564), Online publication date: 1-Aug-1977.
- Wells M Implementation and application of a function data type Proceedings of the June 13-16, 1977, national computer conference, (389-395)
- Friedman D and Wise D (1977). Aspects of applicative programming for file systems (Preliminary Version), ACM SIGOPS Operating Systems Review, 11:2, (41-55), Online publication date: 1-Apr-1977.
- Friedman D and Wise D Aspects of applicative programming for file systems (Preliminary Version) Proceedings of an ACM conference on Language design for reliable software, (41-55)
- Friedman D and Wise D (1977). Aspects of applicative programming for file systems (Preliminary Version), ACM SIGSOFT Software Engineering Notes, 2:2, (41-55), Online publication date: 1-Mar-1977.
- Friedman D and Wise D (1977). Aspects of applicative programming for file systems (Preliminary Version), ACM SIGPLAN Notices, 12:3, (41-55), Online publication date: 1-Mar-1977.
- Clark D and Green C (1977). An empirical study of list structure in Lisp, Communications of the ACM, 20:2, (78-87), Online publication date: 1-Feb-1977.
- Lang B Threshold evaluation and the semantics of call by value, assignment and generic procedures Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (227-237)
- Wegner P (1976). Programming Languages The First 25 Years, IEEE Transactions on Computers, 25:12, (1207-1225), Online publication date: 1-Dec-1976.
- Goodell R (1976). A generalized approach to interpretation machines, ACM SIGPLAN Notices, 11:11, (26-37), Online publication date: 1-Nov-1976.
- Kennedy W and Pinkert J EDUSAC - an educational list processing system Proceedings of the sixth SIGCSE technical symposium on Computer science education, (33-38)
- Zippel R Univariate power series expansions in algebraic manipulation Proceedings of the third ACM symposium on Symbolic and algebraic computation, (198-208)
- Goto E and Kanada Y Hashing LEMMAs on time complexities with applications to formula manipulation Proceedings of the third ACM symposium on Symbolic and algebraic computation, (154-158)
- Bennett R (1976). BUILD, ACM SIGPLAN Notices, 11:7, (34-40), Online publication date: 1-Jul-1976.
- Kennedy W and Pinkert J (1976). EDUSAC - an educational list processing system, ACM SIGCSE Bulletin, 8:3, (33-38), Online publication date: 1-Jul-1976.
- Wise D (1976). Referencing lists by an edge, Communications of the ACM, 19:6, (338-342), Online publication date: 1-Jun-1976.
- McDermott D (1976). Artificial intelligence meets natural stupidity, ACM SIGART Bulletin:57, (4-9), Online publication date: 1-Apr-1976.
- Bobrow D and Wegbreit B (1976). A Model for Control Structures for Artificial Intelligence Programming Languages, IEEE Transactions on Computers, 25:4, (347-353), Online publication date: 1-Apr-1976.
- Friedman F and Koffman E (1976). Some pedagogic considerations in teaching elementary programming using structured FORTRAN, ACM SIGCUE Outlook, 10:SI, (1-10), Online publication date: 1-Feb-1976.
- Friedman F and Koffman E (1976). Some pedagogic considerations in teaching elementary programming using structured FORTRAN, ACM SIGCSE Bulletin, 8:1, (1-10), Online publication date: 1-Feb-1976.
- Friedman F and Koffman E Some pedagogic considerations in teaching elementary programming using structured FORTRAN Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education, (1-10)
- Summers P A methodology for LISP program construction from examples Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (68-76)
- Steele G (1975). Multiprocessing compactifying garbage collection, Communications of the ACM, 18:9, (495-508), Online publication date: 1-Sep-1975.
- Standish T (1975). Extensibility in programming language design, ACM SIGPLAN Notices, 10:7, (18-21), Online publication date: 1-Jul-1975.
- Standish T Extensibility in programming language design Proceedings of the May 19-22, 1975, national computer conference and exposition, (287-290)
- Campbell J (1975). Automatic programming in LISP, ACM SIGSAM Bulletin, 9:2, (11-13), Online publication date: 1-May-1975.
- Sibley E On the equivalences of data based systems Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational, (43-76)
- Frick I (1974). A non-numerical computation involving sums of many products of finite rotation matrices for spin 3/2, ACM SIGSAM Bulletin, 8:3, (76-77), Online publication date: 1-Aug-1974.
- Friedman D and Shapiro S (1974). A case for while-until, ACM SIGPLAN Notices, 9:7, (7-14), Online publication date: 1-Jul-1974.
- Claybrook B LPL Proceedings of the May 6-10, 1974, national computer conference and exposition, (659-663)
- Greenfeld N Quantification in a relational data system Proceedings of the May 6-10, 1974, national computer conference and exposition, (71-75)
- Lee R and Chang S (1974). Structured programming and automatic program synthesis, ACM SIGPLAN Notices, 9:4, (60-70), Online publication date: 1-Apr-1974.
- Lee R and Chang S Structured programming and automatic program synthesis Proceedings of the ACM SIGPLAN symposium on Very high level languages, (60-70)
- Wang P and Rothschild L (1973). Factoring multivariate polynomials over the integers, ACM SIGSAM Bulletin:28, (21-29), Online publication date: 1-Dec-1973.
- Herriot R GLOSS Proceedings of a symposium on High-level-language computer architecture, (81-90)
- Herriot R GLOSS Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, (81-90)
- Herriot R (1973). GLOSS, ACM SIGPLAN Notices, 8:11, (81-90), Online publication date: 1-Nov-1973.
- Waldinger R and Levitt K Reasoning about programs Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (169-182)
- Hewitt C, Bishop P, Greif I, Smith B, Matson T and Steiger R Actor induction and meta-evaluation Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (153-168)
- Bobrow D and Wegbreit B (1973). A model and stack implementation of multiple environments, Communications of the ACM, 16:10, (591-603), Online publication date: 1-Oct-1973.
- Herriot R (1973). GLOSS, ACM SIGPLAN Notices, 8:9, (70-73), Online publication date: 1-Sep-1973.
- French L A Partitioned Ring Structure Processor Proceedings of the 10th Design Automation Workshop, (79-86)
- Shaw M (1973). Immigration course in computer science, ACM SIGCSE Bulletin, 5:2, (26-32), Online publication date: 1-Jun-1973.
- Chang C, Lee R and Dixon J (1973). The Specialization of Programs by Theorem Proving, SIAM Journal on Computing, 2:1, (7-15), Online publication date: 1-Mar-1973.
- Herriot R GLOSS Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems, (70-73)
- Morris J (1973). Protection in programming languages, Communications of the ACM, 16:1, (15-21), Online publication date: 1-Jan-1973.
- Sussman G and McDermott D From PLANNER to CONNIVER Proceedings of the December 5-7, 1972, fall joint computer conference, part II, (1171-1179)
- Leavenworth B (1972). Programming with(out) the GOTO, ACM SIGPLAN Notices, 7:11, (54-58), Online publication date: 1-Nov-1972.
- Morris J and Wells M (1972). The specification of program flow in Madcap 6, ACM SIGPLAN Notices, 7:11, (28-35), Online publication date: 1-Nov-1972.
- Krall E (1972). An implementation of on-conditions in LISP, ACM SIGPLAN Notices, 7:9, (13-20), Online publication date: 1-Sep-1972.
- Campbell J Applications of symbolic programs to complex analysis Proceedings of the ACM annual conference - Volume 2, (836-839)
- Leavenworth B Programming with(out) the GOTO Proceedings of the ACM annual conference - Volume 2, (782-786)
- Morris J and Wells M The specification of program flow in Madcap 6 Proceedings of the ACM annual conference - Volume 2, (755-762)
- Bobrow D (1972). Requirements for advanced programming systems for list processing, Communications of the ACM, 15:7, (618-627), Online publication date: 1-Jul-1972.
- French L Picture generation for Interactive Graphics Proceedings of the 9th Design Automation Workshop, (326-330)
- Pople H and Werner G An information processing approach to theory formation in biomedical research Proceedings of the May 16-18, 1972, spring joint computer conference, (1125-1138)
- French L and Teger A GOLD Proceedings of the May 16-18, 1972, spring joint computer conference, (461-470)
- Fischer M Lambda calculus schemata Proceedings of ACM conference on Proving assertions about programs, (104-109)
- Fischer M (1972). Lambda calculus schemata, ACM SIGACT News:14, (104-109), Online publication date: 1-Jan-1972.
- Fischer M (1972). Lambda calculus schemata, ACM SIGPLAN Notices, 7:1, (104-109), Online publication date: 1-Jan-1972.
- Rochfeld A (1971). New LISP techniques for a paging environment, Communications of the ACM, 14:12, (791-795), Online publication date: 1-Dec-1971.
- Earley J (1971). Toward an understanding of data structures, Communications of the ACM, 14:10, (617-627), Online publication date: 1-Oct-1971.
- Schwartz B (1971). Lisp 1.5 decision tables implemented for a serial computer and proposed for parallel computers, ACM SIGPLAN Notices, 6:8, (93-103), Online publication date: 1-Sep-1971.
- Fenichel R (1971). Comment on Cheney's list-compaction algorithm, Communications of the ACM, 14:9, (603-604), Online publication date: 1-Sep-1971.
- Fenichel R (1971). List tracing in systems allowing multiple cell-types, Communications of the ACM, 14:8, (522-526), Online publication date: 1-Aug-1971.
- Fraser A (1971). On the meaning of names in programming systems, Communications of the ACM, 14:6, (409-416), Online publication date: 1-Jun-1971.
- Morris J (1971). Another recursion induction principle, Communications of the ACM, 14:5, (351-354), Online publication date: 1-May-1971.
- Berkling K (1971). A Computing Machine Based on Tree Structures, IEEE Transactions on Computers, 20:4, (404-418), Online publication date: 1-Apr-1971.
- Bayard H, Browne C, Gross L and Haines E The treet time sharing system Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, (261-267)
- Christensen C An introduction to AMBIT/L, a diagrammatic language for list processing Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, (248-260)
- Fenichel R List-tracing in systems allowing multiple cell-types Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, (242-247)
- Slagle J and Lee R (1971). Application of game tree searching techniques to sequential pattern recognition, Communications of the ACM, 14:2, (103-110), Online publication date: 1-Feb-1971.
- Katzan H (1971). Representation and manipulation of data structures in APL, ACM SIGPLAN Notices, 6:2, (366-397), Online publication date: 1-Feb-1971.
- Wile D and Geschke C (1971). Efficient data accessing in the programming language Bliss, ACM SIGPLAN Notices, 6:2, (306-320), Online publication date: 1-Feb-1971.
- McGowan C and Wegner P (1971). The equivalence of sequential and associate information structure models, ACM SIGPLAN Notices, 6:2, (191-216), Online publication date: 1-Feb-1971.
- Berry D (1971). Introduction to Oregano, ACM SIGPLAN Notices, 6:2, (171-190), Online publication date: 1-Feb-1971.
- Wegner P (1971). Data structure models for programming languages, ACM SIGPLAN Notices, 6:2, (1-54), Online publication date: 1-Feb-1971.
- Berkowitz S PIRL—Pattern Information Retrieval Language—design of syntax Proceedings of the 1971 26th annual conference, (496-507)
- Bahr K (1971). An algebraic simplification program in PL/I, ACM SIGSAM Bulletin:17, (43-50), Online publication date: 1-Jan-1971.
- Duquet R (1970). Eliza in SNOBOL4, ACM SIGPLAN Notices, 5:12, (50-60), Online publication date: 1-Dec-1970.
- Storm E and Vaughan R Vulcan Proceedings of the November 17-19, 1970, fall joint computer conference, (21-32)
- Woods W (1970). Transition network grammars for natural language analysis, Communications of the ACM, 13:10, (591-606), Online publication date: 1-Oct-1970.
- Earley J and Sturgis H (1970). A formalism for translator interactions, Communications of the ACM, 13:10, (607-617), Online publication date: 1-Oct-1970.
- Jenks R (1970). META/LISP, ACM SIGSAM Bulletin:16, (10-18), Online publication date: 1-Oct-1970.
- Moses J (1970). The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problem, ACM SIGSAM Bulletin:15, (13-27), Online publication date: 1-Jul-1970.
- Harrison M BALM Proceedings of the May 5-7, 1970, spring joint computer conference, (507-511)
- Reynolds J (1970). GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, 13:5, (308-319), Online publication date: 1-May-1970.
- Eastman C (1970). Representations for space planning, Communications of the ACM, 13:4, (242-250), Online publication date: 1-Apr-1970.
- Slagle J and Dixon J (1970). Experiments with the M & N tree-searching program, Communications of the ACM, 13:3, (147-154), Online publication date: 1-Mar-1970.
- Fenichel R, Weizenbaum J and Yochelson J (1970). A program to teach programming, Communications of the ACM, 13:3, (141-146), Online publication date: 1-Mar-1970.
- Hearn A (1969). Standard LISP (reprint), ACM SIGSAM Bulletin:13, (28-49), Online publication date: 1-Dec-1969.
- Orgass R and Waite W (1969). A base for a mobile programming system, Communications of the ACM, 12:9, (507-510), Online publication date: 1-Sep-1969.
- Hansen W (1969). Compact list representation, Communications of the ACM, 12:9, (499-507), Online publication date: 1-Sep-1969.
- Bobrow D (1969). LISP bulletin, ACM SIGPLAN Notices, 4:9, (17-57), Online publication date: 1-Sep-1969.
- Bobrow D (1969). LISP bulletin, ACM Lisp Bulletin, 4:9, (17-57), Online publication date: 1-Sep-1969.
- Feldman J and Rovner P (1969). An ALGOL-based associative language, Communications of the ACM, 12:8, (439-449), Online publication date: 1-Aug-1969.
- McGowan C and Wegner P (1969). A LISP interpreter in Snobol4, ACM SIGPLAN Notices, 4:6, (20-33), Online publication date: 1-Jun-1969.
- Pratt T A hierarchical graph model of the semantics of programs Proceedings of the May 14-16, 1969, spring joint computer conference, (813-825)
- Ku S and Adler R (1969). Computing polynomial resultants, Communications of the ACM, 12:1, (23-30), Online publication date: 1-Jan-1969.
- Bobrow D and Klatt D A limited speech recognition system Proceedings of the December 9-11, 1968, fall joint computer conference, part I, (305-318)
- Miller W and Shaw A Linguistic methods in picture processing Proceedings of the December 9-11, 1968, fall joint computer conference, part I, (279-290)
- Lang C and Gray J (1968). Programming Techniques: ASP—a ring implemented associative structure package, Communications of the ACM, 11:8, (550-555), Online publication date: 1-Aug-1968.
- Tesler L and Enea H A language design for concurrent processes Proceedings of the April 30--May 2, 1968, spring joint computer conference, (403-408)
- Sandewall E LISP A Proceedings of the April 30--May 2, 1968, spring joint computer conference, (375-384)
- Feldman J and Gries D (1968). Translator writing systems, Communications of the ACM, 11:2, (77-113), Online publication date: 1-Feb-1968.
- Goodenough J The comparison of programming languages Proceedings of the 1968 23rd ACM national conference, (765-785)
- Laszlo S The relevance of some compiler construction techniques to the description and translation of languages Proceedings of the 1967 conference on Computational linguistics, (1-10)
- Sibley E The engineering assistant Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium, (138-154)
- Hearn A REDUCE Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium, (79-90)
- Madnick S (1967). String processing techniques, Communications of the ACM, 10:7, (420-424), Online publication date: 1-Jul-1967.
- Lawson H (1967). PL/I list processing, Communications of the ACM, 10:6, (358-367), Online publication date: 1-Jun-1967.
- Kapps C SPRINT Proceedings of the April 18-20, 1967, spring joint computer conference, (677-683)
- Keller E and Bedrosian S The people problem Proceedings of the April 18-20, 1967, spring joint computer conference, (157-161)
- Galler B and Perlis A (1967). A proposal for definitions in ALGOL, Communications of the ACM, 10:4, (204-219), Online publication date: 1-Apr-1967.
- Bobrow D and Murphy D (1967). Structure of a LISP system using two-level storage, Communications of the ACM, 10:3, (155-159), Online publication date: 1-Mar-1967.
- Gray J Compound data structure for computer aided design; a survey Proceedings of the 1967 22nd national conference, (355-365)
- Zara R A semantic model for a language processor Proceedings of the 1967 22nd national conference, (323-339)
- Blackwell F An on-line symbol manipulation system Proceedings of the 1967 22nd national conference, (203-209)
- Dodd G APL Proceedings of the November 7-10, 1966, fall joint computer conference, (677-684)
- Moses J (1966). Solutions of systems of polynomial equations by elimination, Communications of the ACM, 9:8, (634-637), Online publication date: 1-Aug-1966.
- Knowlton K (1966). A programmer's description of L6, Communications of the ACM, 9:8, (616-625), Online publication date: 1-Aug-1966.
- Guzmán A and McIntosh H (1966). CONVERT, Communications of the ACM, 9:8, (604-615), Online publication date: 1-Aug-1966.
- Collins G (1966). PM, a system for polynomial manipulation, Communications of the ACM, 9:8, (578-589), Online publication date: 1-Aug-1966.
- Raphael B (1966). The structure of programming languages, Communications of the ACM, 9:2, (67-71), Online publication date: 1-Feb-1966.
- Raphael B Aspects and applications of symbol manpulation Proceedings of the 1966 21st national conference, (69-74)
- Bobrow D and Teitelman W Format-directed list processing in LISP Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, (0301-0329)
- Morris A Models for mathematical systems Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, (1501-1524)
- Slagle J (1965). Experiments with a deductive question-answering program, Communications of the ACM, 8:12, (792-798), Online publication date: 1-Dec-1965.
- Engelman C MATHLAB Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society, (117-126)
- Lock K Structuring programs for multiprogram time-sharing on-line applications Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, (457-472)
- Engelman C MATHLAB Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, (413-421)
- Conte S, Hamblen J, Kehl W, Navarro S, Rheinboldt W, Young D and Atchinson W (1965). An undergraduate program in computer science—preliminary recommendations, Communications of the ACM, 8:9, (543-552), Online publication date: 1-Sep-1965.
- Evans T Man-machine interaction Proceedings of the 1965 20th national conference, (344-353)
- Brown W (1965). An operating environment for dynamic-recursive computer programming systems, Communications of the ACM, 8:6, (371-377), Online publication date: 1-Jun-1965.
- Landin P (1965). Correspondence between ALGOL 60 and Church's Lambda-notation, Communications of the ACM, 8:2, (89-101), Online publication date: 1-Feb-1965.
- Bekic H (1965). Comment on "Cleaning up ALGOL60", ALGOL Bulletin:19, (58-58), Online publication date: 1-Jan-1965.
- van de Laarschot P and Nederkoorn J (1965). Some comments on a proposal by N. Wirth; N. Wirth: Reply to the foregoing comments, ALGOL Bulletin:19, (12-14), Online publication date: 1-Jan-1965.
- Raphael B A computer program which "understands" Proceedings of the October 27-29, 1964, fall joint computer conference, part I, (577-589)
- Evans T A heuristic program to solve geometric-analogy problems Proceedings of the April 21-23, 1964, spring joint computer conference, (327-338)
- Bobrow D and Raphael B (1964). A comparison of list-processing computer languages, Communications of the ACM, 7:4, (231-240), Online publication date: 1-Apr-1964.
- Wilkes M Lists and why they are useful Proceedings of the 1964 19th ACM national conference, (61.1-61.5)
Index Terms
- LISP 1.5 Programmer's Manual
Recommendations
The buried binding and dead binding problems of Lisp 1.5: sources of incomparability in garbage collector measurements
Lisp has become the language of choice for many applications such as artificial intelligence programs or symbol manipulation. The original implementation of Lisp 1.5 was a concise, elegant statement of the semantics of the language. Although production ...