DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Tree Grammars for Program Analysis and Specialisation

John Gallagher
Computer Science, Roskilde University

Thursday, February 20th, 15:15-16:00
DIKU, Universitetsparken 1, room N037

Abstract:

Our starting point is set-based program analysis. In logic or functional programs, this analysis produces a recursive description of the set of terms corresponding to each variable in the program. This has many potential applications, including compiler optimisations, program specialisation, type-checking, debugging, verification and planning. We present a new practical algorithm for computing set-based descriptions with different degrees of precision, obtained by an abstract interpretation over non-deterministic tree grammars. Then we outline the abstract domain of tree grammars combined with arithmetic constraints, and discuss the precision and practicality of this extension.

Scientific host: Peter Sestoft. Administrative host: Camilla Jensen. 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