Copenhagen Programming Language Seminar

DrScheme---Why Systems Building Matters

Robby Findler
University of Chicago

Thursday, March 27th, 2008, 15:15-16:15
DIKU South, Njalsgade 128-132, Copenhagen, Room 24.5.62

Programming rewards programming language researchers in two different ways. First, maintaining a large system helps identify relevant research problems and evaluate solutions. Second, making theoretical models executable and testing them helps develop insight and complements theorem-proving. This talk reports on these benefits of programming and how they have played out in my work on DrScheme and PLT Redex. The first part of the talk shows how DrScheme is the common denominator in various, seemingly unrelated, pieces of work, including behavioral software contracts, software architectures, operating-system services, and language interoperability. The second part presents PLT Redex, a new domain-specific language and toolkit for working with operational semantics. PLT Redex is embedded in DrScheme and has been used to model the operational semantics in a number of research papers, R6RS Scheme, and Sun's Fortress language.

Scientific host: Fritz Henglein. Administrative host: Inge-Lise Bjørn Pedersen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
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