6001structure & interpretation of computer programsrecitation 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
Email: dnj@lcs.mit.edu
Home Page: http://www.pdos.lcs.mit.edu/~dnj
Download presentation source