DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

On Jones-Optimal Specializers: A Case Study Using Unmix

Johan Gade,
DIKU

Monday (!), October 30th, 15:15-16:00
DIKU, Universitetsparken 1, room N037

Abstract:

Jones optimality is a criterion for assessing the strength of a program specializer. In this talk, the elements required in a proof of Jones optimality are investigated and the first formal proof for a non-trivial polyvariant specializer (Unmix) is presented. A simplifying element is the use of self-application. Variations of the original criterion are also discussed.

Joint work with Robert Glück.

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.
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