Region-Based Memory Management

DIKU International Summer School

Monday 18 August - Friday 22 August, 1997, Copenhagen

Slides

• Mads Tofte: Introduction
• Mads Tofte: Region Inference Rules
• Mads Tofte: Region Polymorphism
• Peter Sestoft: Datatypes
• Peter Sestoft: Storage Mode Analysis
• Tommy Højfeld Olesen: Region Profiling (a4, letter)
• Mads Tofte: Structural Region Inference
• Lars Birkedal: Higher-Order Functions
• Lars Birkedal: Constraint-Based Region Inference
• Martin Elsman: Separate Compilation

Exercises

• Mads Tofte: Introduction
• Mads Tofte: Region Inference Rules
• Mads Tofte: Region Polymorphism
• Peter Sestoft: Datatypes
• Peter Sestoft: Storage Mode Analysis
• Tommy Højfeld Olesen: Region Profiling (a4, letter)
• Lars Birkedal: Higher-Order Functions
• Martin Elsman: Miniproject

Sample Programs Used in Exercises