Structure & Interpretation of Computer Programs

Ver más

STRUMENTI PER LA CLASSE DIGITALE BY ELISABETTA NANNI

por Elisabetta Nanni

Elements of the language curriculum design process

por Diana Ordoñez

The Design Cycle

por Ravin Ratnasuriya

The numbers

por Gabriela Casado Patiño

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