PEPM 2009: Savannah, GA, USA

Static analysis

Partial evaluation and specialization

Program transformation I

Types

Slicing and profiling

Program transformation II