|
|
|
|
Copenhagen Programming Language SeminarCOPLAS Talk |
|
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. |
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