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

• Alexander Phi. Goetz
  PhD StudentAlexander Phi. Goetz
• Jiří Beneš
  PhD StudentJiří Beneš
• Jonathan Brachthäuser
  ProfessorJonathan Immanuel Brachthäuser

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
• Your student e-mail address

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

Structure

TBA

First Meeting

TBA