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.