Structure and Interpretation of Computer Programs, second edition

by Abelson, Harold; Sussman, Gerald Jay; Sussman, Julie

• ISBN13: 9780262510875
• ISBN10: 0262510871
• Edition: 2nd
• Format: Paperback
• Copyright: 1996-07-25
• Publisher: The MIT Press

Summary

This edition available only OUTSIDE the U.S. and Canada Structure and Interpretation of Computer Programshas had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

Author Biography

Hal Abelson is Class of 1922 Professor of Computer Science and Engineering at Massachusetts Institute of Technology and a fellow of the IEEE. He is a founding director of Creative Commons, Public Knowledge, and the Free Software Foundation. Additionally, he serves as co-chair for the MIT Council on Educational Technology.

Gerald Jay Sussman is Panasonic Professor of Electrical Engineering at MIT.

Table of Contents

Contents	p. vii
Foreword	p. xi
Preface to the Second Edition	p. xv
Preface to the First Edition	p. xvii
Acknowledgments	p. xxi
Building Abstractions with Procedures
The Elements of Programming	p. 4
Procedures and the Processes They Generate	p. 31
Formulating Abstractions with Higher-Order Procedures	p. 56
Building Abstractions with Data	p. 79
Introduction to Data Abstraction	p. 83
Hierarchical Data and the Closure Property	p. 97
Symbolic Data	p. 142
Multiple Representations for Abstract Data	p. 169
Systems with Generic Operations	p. 187
Modularity, Objects and State
Assignment and Local State	p. 218
The Environmental Model of Evaluation	p. 236
Modeling with Mutable Data	p. 251
Concurrency: Time Is of the Essence	p. 297
Streams	p. 316
Metalinguistic Abstraction
The Metaciricular Evaluator	p. 362
Variations on a Scheme--Lazy Evaluation	p. 398
Variations on a Scheme--Nondeterministic Computing	p. 412
Logic Programming	p. 438
Computing with Register Machines	p. 491
Designing Register Machines	p. 492
A Register-Machine Simulator	p. 513
Storage Allocation and Garbage Collection	p. 533
The Explicit Control Evaluator	p. 547
Compilation	p. 566
References	p. 611
List of Exercises	p. 619
Index	p. 621
Table of Contents provided by Publisher. All Rights Reserved.