6001 structure & interpretation of computer programs recitation 10/ october 22, 1997

11/19/97


Click here to start


Table of Contents

6001 structure & interpretation of computer programs recitation 10/ october 22, 1997

overview

basic notions

interpretation of variables

modifying environments

failure of the substitution model

a new notion of procedure

application rule

diagram for evaluation of an application

encapsulation

benefits of encapsulation

environment model explanation

bank account example (1)

bank account example (2)

bank account example (3)

another variant

puzzle for student presentation

Author: Daniel Jackson

Email: dnj@lcs.mit.edu

Home Page: http://www.pdos.lcs.mit.edu/~dnj

Download presentation source