DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

A new approach to one-pass transformations

Kevin Millikin,
BRICS, University of Aarhus

Wednesday (!), September 21, 15:15-16:00
DIKU, Universitetsparken 1, room N026

Abstract:

We show how to construct a one-pass optimizing transformation by fusing a non-optimizing transformation with an optimization pass. We state the transformation in build form and the optimization pass in cata form, i.e., as a catamorphism; and we use cata/build fusion to combine them. We illustrate the method by fusing Plotkin's call-by-value and call-by-name CPS transformations with a reduction-free normalization function for the lambda-calculus, thus obtaining two new one-pass CPS transformations. The method can be used to construct other one-pass transformations via program fusion.

Scientific host: Andrzej Filinski. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org