Arrangement
YOU ARE HERE: News & Events » Events archive » Event

News & Events

[PL-Seminar] Talk: Olivier Danvy

2008.10.20 | Karl Klose

Date Wed Nov 05
Time 09:30 — 11:00
Location DI-Turing-014
Email Twitter Facebook

Title: Towards compatible and interderivable semantic specifications for the
Scheme programming language, part II: reduction semantics and abstract
machines

Speaker: Olivier Danvy

Abstract:
We present a context-sensitive reduction semantics for a lambda-calculus
with explicit substitutions and store and we show that the functional
implementation of this small-step semantics mechanicallycorresponds to
an abstract machine. This abstract machine is very close to the abstract
machine for Core Scheme presented by Clinger at PLDI'98. This
lambda-calculus with explicit substitutions and store therefore aptly
accounts for Core Scheme.

Presented at the 2008 Workshop on Scheme and Functional Programming,
Victoria, BC, September 2008.

Joint work with Malgorzata Biernacka.

CS Calendar
Comments on content: 
Karl Klose

Revised 2012.05.22

News

Computer Science Day 2012

2012.05.21 | Featured, Frontpage

15 minutes to introduce your research. This is the concept of The Computer Science Day which is held in Large Auditorium (Incuba Science Park - Katrinebjerg), Friday the 25th of May from 13.15-15.45. For the first time in the history of the Computer Science Department at AU we will award the Teacher of the year.

And the nominees are....

2012.05.03 | Featured, Frontpage

On Computer Science Day 2012 on May 25, the Department of Computer Science will award "The teacher of the year" prize for the first time. The nominees for this year's prize are: Gudmund Frandsen, Ivan Damgaard, Gerth Brodal, Olivier Danvy and Jesper Buus Nielsen.

Facebook on charm offensive at the Department of Computer Science

2012.05.01 | Featured, Frontpage

We're hiring - a message which is understandable. The sender is Facebook who showed up on April 26 to find the absolute best software students.

Danish Minister experienced research at eye level

2012.04.25 | Featured, Frontpage

On this year’s Festival of Research both computer scientists from the EcoSense project and MADALGO got the opportunity to show the Danish Minister of Science, Innovation and Higher Education how computer science research addresses this year's theme of Europe's challenges.

Google Anita Borg Memorial for Ph.D. Students at Computer Science

2012.04.24 | Featured, Frontpage

For the second year running two female Ph.D. Students at Computer Science receive Google Anita Borg Memorial Scholars. This year the first-year Ph.D. Students Barbora Micenkova and Simina Branzel are among the winners. The award focuses on breaking down barriers and aims for more women in computing. Barbora Micenkova‘s main research interest lies…

Events

Fri May 25
07:00-08:00 | DI-pvagt
End of 4th quarter
Fri May 25
13:15-15:45 | DI-5510.103 (Store Aud. Åbogade
Computer Science Day
Fri Jun 29
12:00-13:00 |
Master's Thesis Exam - Carsten Sørensen