SUMMARY.md

Table of contents

• 1.1 The Elements of Programming
• 1.2 Procedures and the Processes They Generate
• 1.3 Formulating Abstractions with Higher-Order Procedures
• 2.1 Introduction to Data Abstraction
• 2.2 Hierarchical Data and the Closure Property
• 2.3 Symbolic Data
• 2.4 Multiple Representations for Abstract Data
• 2.5 Systems with Generic Operations
• 3.1 Assignment and Local State
• 3.2 The Environment Model of Evaluation
• 3.3 Modeling with Mutable Data
• 3.4 Concurrency: Time Is of the Essence
• 3.5 Streams
• 4.1 The Metacircular Evaluator
• 4.2 Variations on a Scheme — Lazy Evaluation
• 4.3 Variations on a Scheme — Nondeterministic Computing
• 4.4 Logic Programming
• 5.1 Designing Register Machines
• 5.2 A Register-Machine Simulator
• 5.3 Storage Allocation and Garbage Collection
• 5.4 The Explicit-Control Evaluator
• 5.5 Compilation
• SICP as Markdown
  • SICP