Structure & Interpretation of Computer Programs

Mer av detta

CX inside Zara stores

av Maria Ines Vaccari

United States Foreign Policy & The Cold War

av John Phan

Foreign Language Acquisition and Learning Phase 1 Recognition Activity

av Leonar Herazo Vélez

Validation and Verification

av Kezia Bailey

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