Structure and interpretation of computer programs

From the Publisher: With an analytical and rigorous approach to problem solving and programming techniques,this book is oriented toward engineering. Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an introduction to computer science courses,as well as programming languages and program design.

• Publication year

  1985

• Venue

  Proceedings of the IEEE

• Publication date

  1985-09-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/0004-3702(85)90087-6
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The why of Y

  1988cited by this paper
• Negation as Failure

  1987cited by this paper
• Garbage Collection can be Faster than Stack Allocation

  1987cited by this paper
• Using Closures for Code Generation

  1987cited by this paper
• Non-Deterministic Lisp with Dependency-directed Backtracking

  1987cited by this paper
• Syntactic extensions in the programming language LISP

  1986cited by this paper
• Algorithms for mutual exclusion

  1986cited by this paper
• Common Lisp the Language

  1984cited by this paper
• The TK!Solver book : a guide to problem-solving in science, engineering, business, and education

  1984cited by this paper
• A real-time garbage collector based on the lifetimes of objects

  1983cited by this paper
• Smalltalk-80: The Language and Its Implementation

  1983cited by this paper
• Alan Turing: The Enigma

  1983cited by this paper
• Functional Geometry

  1982cited by this paper
• Logic for problem solving

  1982cited by this paper
• Nondeterministic call by need is neither lazy nor by name

  1982cited by this paper
• An overview of COMMON LISP

  1982cited by this paper
• T: a dialect of Lisp or LAMBDA: The ultimate software tool

  1982cited by this paper
• Functional programming and its applications

  1982cited by this paper
• The Lisp Machine manual

  1981cited by this paper
• An Outlook on Truth Maintenance.

  1980cited by this paper
• Coding and Information Theory

  1980cited by this paper
• Probabilistic algorithm for testing primality

  1980cited by this paper
• Functional programming - application and implementation

  1980cited by this paper
• CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions

  1980cited by this paper
• Continuation-Based Program Transformation Strategies

  1980cited by this paper
• Experience with an applicative string processing language

  1980cited by this paper
• The anatomy of lisp

  1980cited by this paper
• A Truth Maintenance System

  1979cited by this paper
• A Method for Analyzing Loop Programs

  1979cited by this paper
• Godel, Escher, Bach: An Eternal Golden Braid

  1979cited by this paper
• Probabilistic algorithms for sparse polynomials

  1979cited by this paper
• Edinburgh LCF

  1979cited by this paper
• Logic and Data Bases

  1978cited by this paper
• Data type specification: Parameterization and the power of specification techniques

  1978cited by this paper
• History of LISP

  1978cited by this paper
• List processing in real time on a serial computer

  1978cited by this paper
• A method for obtaining digital signatures and public-key cryptosystems

  1978cited by this paper
• Time, clocks, and the ordering of events in a distributed system

  1978cited by this paper
• A Three Valued Truth Maintenance System.

  1978cited by this paper
• Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO

  1977cited by this paper
• Denotational Semantics

  1977cited by this paper
• Can programming be liberated from the von Neumann style

  1977cited by this paper
• Explicit Control of Reasoning

  1977cited by this paper
• Report on the programming language Euclid

  1977cited by this paper
• ThingLab - An Object-Oriented System for Building Simulations Using Constraints

  1977cited by this paper
• Abstract data types and the development of data structures

  1977cited by this paper
• AMORD explicit control of reasoning

  1977cited by this paper
• Viewing Control Structures as Patterns of Passing Messages

  1977cited by this paper
• Abstract data types and the development of data structures

  1976cited by this paper
• CONS Should Not Evaluate its Arguments

  1976cited by this paper
• Randomness and Mathematical Proof

  1975cited by this paper
• Heuristic techniques in computer-aided circuit analysis

  1975cited by this paper
• Specification techniques for data abstractions

  1975cited by this paper
• The computational complexity of algebraic and numeric problems

  1975cited by this paper
• Riemann's Hypothesis and tests for primality

  1975cited by this paper
• Predicate Logic as Programming Language

  1974cited by this paper
• The interlisp reference manual

  1974cited by this paper
• The Conniver Reference Manual

  1972cited by this paper
• A language for proving theorems in robots

  1971cited by this paper
• Procedures As A Representation For Data In A Computer Program For Understanding Natural Language

  1971cited by this paper
• The Art of Computer Programming, Volume II: Seminumerical Algorithms

  1970cited by this paper
• PLANNER: A Language for Proving Theorems in Robots

  1969cited by this paper
• A LISP garbage-collector for virtual-memory computer systems

  1969cited by this paper
• Application of Theorem Proving to Problem Solving

  1969cited by this paper
• The use of theorem-proving techniques in question-answering systems

  1968cited by this paper
• The Art of Computer Programming

  1968cited by this paper
• The structure of the “THE”-multiprogramming system

  1967cited by this paper
• Nondeterministic Algorithms

  1967cited by this paper
• Correspondence between ALGOL 60 and Church's Lambda-notation

  1965cited by this paper
• A Correspondence Between ALGOL 60 and Church's Lambda- Notation: Part I*

  1965cited by this paper
• A Machine-Oriented Logic Based on the Resolution Principle

  1965cited by this paper
• Sketchpad: a man-machine graphical communication system

  1963cited by this paper
• LISP 1.5 Programmer's Manual

  1962cited by this paper
• Thunks: a way of compiling procedure statements with some comments on procedure declarations

  1961cited by this paper
• An Introduction to Probability Theory and Its Applications

  1959cited by this paper
• Recursive Functions of Symbolic Expressions and their Computation by Machine

  1959cited by this paper
• Coding and Information Theory

  1959cited by this paper
• The calculi of lambda-conversion

  1941cited by this paper
• An Introduction to the Theory of Numbers

  1938cited by this paper
• A basis for a mathematical theory of computation, preliminary report

  1899cited by this paper
• Srinivasa Ramanujan

  year unknowncited by this paper

• Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics

  2026cites this paper
• Knowledge-Integrated Representation Learning for Crypto Anomaly Detection under Extreme Label Scarcity; Relational Domain-Logic Integration with Retrieval-Grounded Context and Path-Level Explanations

  2026cites this paper
• FC-CONAN: An Exhaustively Paired Dataset for Robust Evaluation of Retrieval Systems

  2026cites this paper
• Introducing Code Quality at CS1 Level: Examples and Activities

  2025cites this paper
• Hierarchically Encapsulated Representation for Protocol Design in Self-Driving Labs

  2025cites this paper
• Misabstraction in Sociotechnical Systems

  2025cites this paper
• Targeted control of fast prototyping through domain-specific interface

  2025cites this paper
• What do language models model? Transformers, automata, and the format of thought

  2025influential citation
• Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework

  2025cites this paper
• Testing the Machine Consciousness Hypothesis

  2025cites this paper
• An analysis of vectorised automatic differentiation for statistical applications

  2025cites this paper
• Productive Quantum Programming Needs Better Abstract Machines

  2025cites this paper
• Large Language Models and Emergence: A Complex Systems Perspective

  2025cites this paper
• ALFRED: Ask a Large-language model For Reliable ECG Diagnosis

  2025cites this paper
• A Proposal for a Programming Skills Framework Integrating Computational Thinking and Python Programming Concepts

  2025cites this paper
• Towards General-Purpose Data Discovery: A Programming Languages Approach

  2025cites this paper
• Let’s Take Esoteric Programming Languages Seriously

  2025cites this paper
• Proposal for substantive theory: A connection between mathematics learning and programming for children

  2025cites this paper
• ID-RemovalNet: Identity Removal Network for EEG Privacy Protection with Enhancing Decoding Tasks

  2025cites this paper
• Fast & Easy ASTs for Flexible Embedded Interpreters

  2025cites this paper
• Blurred boundaries at the Intergovernmental Panel on Climate Change: the role of integrated assessment models in the science–society contract

  2025cites this paper
• Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics

  2025influential citation
• Gradient-Free Optimization for Environment Design for Temporally Extended Tasks in Reinforcement Learning

  2025cites this paper
• Teaching Introductory Functional Programming Using Haskelite

  2025cites this paper
• THOR: A Generic Energy Estimation Approach for On-Device Training

  2025cites this paper
• Automated Constraint Specification for Job Scheduling by Regulating Generative Model With Domain-Specific Representation

  2025cites this paper
• Is Productivity in Quantum Programming Equivalent to Expressiveness?

  2025cites this paper
• The Role of Video Generation in Enhancing Data-Limited Action Understanding

  2025cites this paper
• Redressing the Balance: A Yin-Yang Perspective on Information Technology

  2024cites this paper
• Multi-language Software Development in the LLM Era: Insights from Practitioners’ Conversations with ChatGPT

  2024cites this paper
• A Moonshot for AI Oracles in the Sciences

  2024cites this paper
• Mirror Matrix on the Wall: coding and vector notation as tools for introspection

  2024cites this paper
• Renaissance of Literate Programming in the Era of LLMs: Enhancing LLM-Based Code Generation in Large-Scale Projects

  2024cites this paper
• BootTOD: Bootstrap Task-oriented Dialogue Representations by Aligning Diverse Responses

  2024cites this paper
• Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks

  2024cites this paper
• RIDA: a robust attack framework on incomplete graphs

  2024cites this paper
• AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints

  2024cites this paper
• No More, No Less than Sum of Its Parts: Groups, Monoids, and the Algebra of Graphics, Statistics, and Interaction

  2024cites this paper
• Finch: Sparse and Structured Tensor Programming with Control Flow

  2024influential citation
• Symbolic metaprogram search improves learning efficiency and explains rule learning in humans

  2024cites this paper
• Vulnerability Webs: Systemic Risk in Software Networks

  2024cites this paper
• Improvement of Spiking Neural Network With Bit Planes and Color Models

  2024cites this paper
• Constraint Representation Towards Precise Data-Driven Storytelling

  2024cites this paper
• A Strategic Model of Software Dependency Networks

  2024cites this paper
• Linking phenotypic and genotypic variation: a relaxed phylogenetic approach using the probabilistic programming language Stan

  2024cites this paper
• The Risk of Federated Learning to Skew Fine-Tuning Features and Underperform Out-of-Distribution Robustness

  2024cites this paper
• Abstract Hardware Grounding towards the Automated Design of Automation Systems

  2024cites this paper
• Wavefront Threading Enables Effective High-Level Synthesis

  2024cites this paper
• An Abstraction Hierarchy Toward Productive Quantum Programming

  2024cites this paper
• quAPL: Modeling Quantum Computation in an Array Programming Language

  2023cites this paper
• Semi-Automatic Integration of Little Languages

  2023cites this paper
• On the cultivation of proper abstraction

  2023cites this paper
• An Interactive C Code Execution and Visualization Tool for Online Learning

  2023influential citation
• Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers

  2023cites this paper
• Using Debugging as a Platform for Transdisciplinary Learning

  2023cites this paper
• Design and Implementation of Family Polymorphism for Interactive Theorem Proving

  2023cites this paper
• EVMTracer: Dynamic Analysis of the Parallelization and Redundancy Potential in the Ethereum Virtual Machine

  2023cites this paper
• Visualizing Environments of Modern Scripting Languages

  2023cites this paper
• Community-driven Course and Tool Development for CS1

  2023cites this paper
• NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning

  2023cites this paper
• Bridging K–12 Mathematics and Computational Thinking in the Scratch Community: Implications Drawn From a Creative Learning Context

  2023cites this paper
• Integration of Quantum Accelerators with High Performance Computing—A Review of Quantum Programming Tools

  2023cites this paper
• Lattice-Based A L C Ontology Embeddings With Saturation

  2023cites this paper
• Improved Bitcoin Price Prediction based on COVID-19 data

  2023cites this paper
• A Strategic Model of Software Dependency Networks

  2023cites this paper
• Design Pattern for Reusing Immutable Methods in Object-Oriented Languages

  2023influential citation
• MCNS: Mining Causal Natural Structures Inside Time Series via A Novel Internal Causality Scheme

  2023cites this paper
• A Probability Parameter Estimation Tool in C++

  2022cites this paper
• Interaction vs. Abstraction: Managed Copy and Paste

  2022cites this paper
• Paralelizando um algoritmo de backtracking no navegador com Web Workers e WebAssembly

  2022cites this paper
• Introduction of Embedded System Architecture with its features and application

  2022cites this paper
• Development of an Augmented Reality Training Environment Construction System Using Puzzle-Like Programming in a Real Environment

  2022cites this paper
• RelaxNet: A structure-preserving neural network to approximate the Boltzmann collision operator

  2022cites this paper
• On the the missing diagrams in Category Theory (first-person version)

  2022cites this paper
• Imperative versus Declarative Collection Processing: An RCT on the Understandability of Traditional Loops versus the Stream API in Java

  2022cites this paper
• EVOLUTION OF PROGRAMMING PARADIGMS

  2022cites this paper
• Algorithms as figures: Towards a post-digital ethnography of algorithmic contexts

  2022cites this paper
• Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don’t Stack Up

  2022cites this paper
• Confidence Dimension for Deep Learning based on Hoeffding Inequality and Relative Evaluation

  2022cites this paper
• Deep Algebraic Fitting for Multiple Circle Primitives Extraction from Raw Point Clouds

  2022cites this paper
• A Cryptographically Stable Computing Machine

  2022cites this paper
• Nondeterminism and Guarded Commands

  2022cites this paper
• Cyber-Physical Systems Enabled Transport Networks in Smart Cities: Challenges and Enabling Technologies of the New Mobility Era

  2022cites this paper
• Source Academy: A Web-based Environment for Learning Programming with SICP

  2022cites this paper
• Programming for Hedgehogs

  2022cites this paper
• Enhancing DrRacket with Dodona for Learning Scheme

  2022cites this paper
• What We Talk About When We Talk About Programs

  2022cites this paper
• Elements of Scientific Visualization Systems

  2022cites this paper
• Faith integration in STEM courses for undergraduates: Exemplars of pedagogical practices

  2022cites this paper
• Recursion: Squeezing the Infinite into the Finite

  2022cites this paper
• DIMBA: discretely masked black-box attack in single object tracking

  2022cites this paper
• Vacua of ω-deformed SO(8) supergravity

  2022cites this paper
• Computation-centric networking

  2022cites this paper
• A Language Based on Two Relations between Symbols

  2022influential citation
• Performance evaluation of Crystal

  2021cites this paper
• T-norms or t-conorms? How to aggregate similarity degrees for plagiarism detection

  2021cites this paper
• How Do Developers Use the Java Stream API?

  2021cites this paper
• Composing the Network with Streams

  2021cites this paper
• Utilize existing genetic diversity before genetic modification in indigenous crops

  2021cites this paper
• Shrinking JavaScript for CS1

  2021cites this paper