Structure & Interpretation of Computer Programs

Mai multe ca aceasta

Milton Friedman (1912-2006)

după Medizin Wissen

Organizing and Representing Data: Visual Representations

după Katie Morrison

The Design Cycle

după Ravin Ratnasuriya

Mathematics

după Desi McKeown

Structure & Interpretation of Computer Programs

Computing with Register Machines

Compilation

The Explicit-Control Evaluator

Storage Allocation and Garbage Collection

A Register-Machine Simulator

Designing Register Machines

Metalinguistic Abstraction

Logic Programming

Variations on a Scheme -- Nondeterministic Computing

Variations on a Scheme -- Lazy Evaluation

The Metacircular Evaluator

Modularity, Objects, and State

Streams

Concurrency: Time Is of the Essence

Modeling with Mutable Data

The Environment Model of Evaluation

Assignment and Local State

Building Abstractions with Data

Systems with Generic Operations

Multiple Representations for Abstract Data

Symbolic Data

Hierarchical Data and the Closure Property

Introduction to Data Abstraction

Building Abstractions with Procedures

Formulating Abstractions with Higher-Order

Procedures as Returned Values

Procedures as General Methods

Constructing Procedures Using Lambda

Procedures as Arguments

Procedures and the Processes They Generate

Example: Testing for Primality

Greatest Common Divisors

Exponentiation

Orders of Growth

Tree Recursion

Linear Recursion and Iteration

The Elements of Programming

Procedures as Black-Box Abstractions

Example: Square Roots by Newton's Method

Conditional Expressions and Predicates

The Substitution Model for Procedure Application

Compound Procedures

Evaluating Combinations

Naming and the Environment

Expressions