Copenhagen Programming Language Seminar


Incremental Program Analysis via Language Factors

Oege de Moor
Oxford University Computing Laboratory, UK

Thursday, October 24th, 16:00-17:00
DIKU, Universitetsparken 1, room N034


We aim to specify program transformations in a declarative style, and then to generate efficient program transformers from such specifications. Many transformations require non-trivial program analysis to check their applicability, and it is prohibitively expensive to re-run such analyses after each transformation. It is desirable, therefore, that the analysis information is incrementally updated.

We achieve this by drawing on two pieces of previous work: first, Bernhard Steffen's proposal to use model checking for certain analysis problems, and second, John Conway's theory of language factors. The first allows the neat specification of transformations, while the second opens the way for an incremental implementation. This seems to be the first application of Conway's factor theory since he invented it in the late sixties.

If time allows, we shall briefly report on an implementation in Moscow ML with the Muddy BDD package, which transforms the .NET intermediate language.

Scientific host: Andrzej Filinski. Administrative host: Camilla Jørgensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, IT-C 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