Selected Topics in PL Semantics (Seminar)

This seminar explores how different descriptions of a programming language’s execution relate to one another. Some of the methods covered by the seminar are:

small-step and big-step semantics
lightweight fusion
CPS
defunctionalization
refunctionalization
closure conversion
lambda lifting and dropping
abstract machines

The goal of the seminar is to grasp their connection an apply them.

The language of the seminar will be either German or English, depending on the participants.

Instructors

Registration

If you want to participate, please send an e-mail with the following data to alexander-phidias.goetz(at)uni-tuebingen.de:

Matrikelnummer
Name
Studiengang + Abschluss
Fachsemester
Studentische Email-Addresse

The number of participants is restricted to 10. Places are assigned on a first-come, first-served basis. Please register until Tuesday, 20.10.26.

Structure

We will meet weekly on Wednesday 10-12 in A302 on the Sand. Every week one participant will give a (roughly) 35-min presentation on one of the topics and lead the ensuing discussion.

At the end of the semester, each participant will implement the technique they presented to solve a real problem and write a report explaining its application.

First Meeting

The first meeting will be held Wednesday Oct 21st at 10-12 in A302 on the Sand.