PEPM 2008: San Francisco, California, USA

Refine list

showing all ?? records

Program transformation and derivation

Verification and synthesis

Program optimization

Parsing

Program manipulation and staging

Partial evaluation

Functional programming languages

a service of  Schloss Dagstuhl - Leibniz Center for Informatics