PEPM 2008: San Francisco, California, USA

Program transformation and derivation

Verification and synthesis

Program optimization

Parsing

Program manipulation and staging

Partial evaluation

Functional programming languages