15-312 Foundations of Programming Languages
Lecture 18: Storage Management
In this lecture we will discuss another implementation issue, the use and
reuse of machine memory. We will modify and extend the semantics of the E
machine to account for the differences between small and large values and
include new transition rules for automatically reclaiming unused storage.