Structure and Interpretation of Computer Programs

Structure and Interpretation of Computer Programs (SICP) is a computer science textbook by Massachusetts Institute of Technology professors Harold Abelson and Gerald Jay Sussman with Julie Sussman. It is known as the "Wizard Book" in hacker culture. It teaches fundamental principles of computer programming, including recursion, abstraction, modularity, and programming language design and implementation.

MIT Press published the first edition in 1984, and the second edition in 1996. It was formerly used as the textbook for MIT's introductory course in computer science. SICP focuses on discovering general patterns for solving specific problems, and building software systems that make use of those patterns.

MIT Press published the JavaScript edition in 2022.

Content
The book describes computer science concepts using Scheme, a dialect of Lisp. It also uses a virtual register machine and assembler to implement Lisp interpreters and compilers.

Topics in the books are:

Chapter 1: Building Abstractions with Procedures

 * 1) The Elements of Programming
 * 2) Procedures and the Processes They Generate
 * 3) Formulating Abstractions with Higher-Order Procedures

Chapter 2: Building Abstractions with Data

 * 1) Introduction to Data Abstraction
 * 2) Hierarchical Data and the Closure Property
 * 3) Symbolic Data
 * 4) Multiple Representations for Abstract Data
 * 5) Systems with Generic Operations

Chapter 3: Modularity, Objects, and State

 * 1) Assignment and Local State
 * 2) The Environment Model of Evaluation
 * 3) Modeling with Mutable Data
 * 4) Concurrency: Time Is of the Essence
 * 5) Streams

Chapter 4: Metalinguistic Abstraction

 * 1) The Metacircular Evaluator
 * 2) Variations on a Scheme – Lazy Evaluation
 * 3) Variations on a Scheme – Nondeterministic Computing
 * 4) Logic Programming

Chapter 5: Computing with Register Machines

 * 1) Designing Register Machines
 * 2) A Register-Machine Simulator
 * 3) Storage Allocation and Garbage Collection
 * 4) The Explicit-Control Evaluator
 * 5) Compilation

Characters
Several fictional characters appear in the book:
 * Alyssa P. Hacker, a Lisp hacker
 * Ben Bitdiddle
 * Cy D. Fect, a "reformed C programmer"
 * Eva Lu Ator
 * Lem E. Tweakit
 * Louis Reasoner, a loose reasoner

License
The book is licensed under a Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.

Coursework
The book was used as the textbook for MIT's former introductory programming course, 6.001, from fall 1984 through its last semester, in fall 2007. Other schools also made use of the book as a course textbook.

Reception
Byte recommended SICP in 1986 "for professional programmers who are really interested in their profession". The magazine said that the book was not easy to read, but that it would expose experienced programmers to both old and new topics.

Influence
SICP has been influential in computer science education, and several later books have been inspired by its style.
 * Structure and Interpretation of Classical Mechanics (SICM), another book that uses Scheme as an instructional element, by Gerald Jay Sussman and Jack Wisdom
 * Software Design for Flexibility, by Chris Hanson and Gerald Jay Sussman
 * How to Design Programs (HtDP), which intends to be a more accessible book for introductory Computer Science, and to address perceived incongruities in SICP
 * Essentials of Programming Languages (EoPL), a book for Programming Languages courses