DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

The anatomy of a loop: A story of scope and control

Olin Shivers,
Georgia Institute of Technology, USA

Monday(!), January 17th, 11:15-12:00
DIKU, Universitetsparken 1, room N010

Abstract:

Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 20 years, it is striking that none have had much success in the Scheme world. I suggest that the reason is that Scheme forces us to be precise about the scoping of the various variables introduced by our loop forms, something previous attempts to design ambitious loop forms have not managed to do.

I present the design of a loop package for Scheme with a well-defined and natural scoping rule, based on a notion of control dominance that generalizes the standard lexical-scope rule of the lambda-calculus. The new construct is powerful, clear, modular and extensible.

The loop language itself is defined in terms of an underlying language for expressing control-flow graphs. This language itself has interesting properties as an intermediate representation.

Scientific host: Neil Jones. 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