kirancodes.me
To Proof Maintenance & Beyond!

350 papers · page 16 of 18

A Brief Introduction to Regions

Mads Tofte

The paper gives an overview of region-based memory management. The emphasis of the paper is on the dynamic aspects of execution, specifically memory management. We illustrate how three static program analyses can be used for inferring memory management directives. They are region…