Structure and interpretation of computer programs

Kenneth D. Forbus · Proceedings of the IEEE · 1985

Summary

Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models, appropriate for an introduction to computer science courses, as well as programming languages and program design.

Type: article
Published: 1985-09-01
Cited by: 2,116
References: 102
Access: Open access
DOI: https://doi.org/10.1016/0004-3702(85)90087-6
OpenAlex: https://openalex.org/W206348627
Semantic Scholar: https://api.semanticscholar.org/CorpusID:454563

Keywords

Interpretation (philosophy), Computer science, Artificial intelligence, Natural language processing, Programming language

References

Sketchpad: a man-machine graphical communication systemIvan E. Sutherland — 1963
Functional programming - application and implementationP. Henderson — 1980
ThingLab - An Object-Oriented System for Building Simulations Using ConstraintsAlan Borning — 1977
The TK!Solver book : a guide to problem-solving in science, engineering, business, and educationM. Konopasek, Sundaresan Jayaraman — 1984
Nondeterministic AlgorithmsRobert W. Floyd — 1967
Logic and Data BasesHervé Gallaire, Jack Minker — 1978
An Outlook on Truth Maintenance.David McAllester — 1980
Edinburgh LCFMichael J. C. Gordon — 1979
Recursive Functions of Symbolic Expressions and their Computation by MachineJohn McCarthy — 1959
The Conniver Reference ManualDrew McDermott, Gerald Jay Sussman — 1972
CONS Should Not Evaluate its ArgumentsDaniel P. Friedman, David S. Wise — 1976
Procedures As A Representation For Data In A Computer Program For Understanding Natural LanguageTerry Winograd — 1971
PLANNER: A Language for Proving Theorems in RobotsCarl Hewitt — 1969
Functional programming and its applicationsJared L. Darlington — 1982
Explicit Control of ReasoningJohan de Kleer, Jon Doyle, Guy L. Steele — 1977
The computational complexity of algebraic and numeric problemsAllan Borodin, Ian Munro — 1975
Algorithms for mutual exclusionMichel Raynal, D. Beeson — 1986
A Three Valued Truth Maintenance System.David McAllester — 1978
The Lisp Machine manualDaniel Weinreb, David Moon — 1981
Coding and Information TheoryR. W. Hamming — 1980

Cited by

FOOBAR : an artificial intelligence based finite element systemJohn W. Baugh, Daniel R. Rehak, Center., Carnegie Mellon University.Engineering Design Research — 1987
First order gradient optimization in LISPPredrag S. Stanimirović, Svetozar R. Rančić — 1998
An Environment Model for the Integration of Logic and Functional ProgrammingPierre Bonzon — 1987
Mundos y sistemas: entendiendo el diseño de la gameplay éticaMiguel Sicart — 2009
Imagen: runtime migration of browser sessions for javascript web applicationsJames Teng Kin Lo, Eric Wohlstadter, Ali Mesbah — 2013
Learning Agents and Enhanced Presence for Generation of Services on the GridClément Jonquet, Marc Eisenstadt, Stefano A. Cerri — 2005
Semantic foundation of the tagged signal modelEdward A. Lee, Xiaojun Liu — 2005
Faz: uma linguagem funcional didáticaVítor Bujés Ubatuba de Araújo — 2013
Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaireFrédéric Guidec — 1995
An Architecture for An Open CompilerJohn Lamping, Gregor Kiczales, Luis H. Rodriguez, Jr. — 1998
A Prototype Knowledge-Based System for Satellite Mission Planning.David E. Perales, LtCol Cochran — 1986
Parallelism in LISPMichael van Biema — 1987
Hand-made and Computed Links, Precomputed and Dynamic LinksHelen Ashman, Alejandra Garrido, Harri Oinas‐Kukkonen — 1997
Template Based Programming in Chemical Engineering CoursesDavid Silverstein — 2001
A Language-oriented Approach to Teaching ConcurrencyTom Van Cutsem, Stefan Marr, Wolfgang De Meuter — 2010
The Use of Partial Quantitative Information with Qualitative ReasoningJared D Berleant — 1991
A Longitudinal Evaluation of the Impact of a Problem-Based Learning Approach to the Teaching of Software Development in Higher EducationJames Doody — 2009
A Distributed-Integrated Medical Imaging SystemP. Pili, R. Scateni, G. Zanetti — 1993
Using Web Access to Formal Mathematics to Support Instruction in Computational Discrete MathematicsRobert L. Constable — 2002
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming LanguageSelmer Bringsjord, Jinrong Li — 2008

Structure and interpretation of computer programs

Summary

Keywords

References

Cited by

Related papers