Copenhagen Programming Language
DrScheme---Why Systems Building Matters
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.
Inge-Lise Bjørn Pedersen.
All are welcome.
The Copenhagen Programming
Language Seminar (COPLAS) is a collaboration between DIKU,
ITU, KVL and
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to
email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see