Personal tools
You are here: Home Events LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation

LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Feb 13, 2018
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

Interaction semantics (Game Semantics, Geometry of Interaction) has produced precise models for many programming languages. It is based on the idea of modelling programs in terms of simple dialogues between interacting entities. This idea can also be used to guide the low-level implementation of programming languages. If one lets low-level programs take the place of interactive entities, then interaction semantics becomes a way of organising low-level programs. The semantic structure in models constructed in this way can be used as a guiding principle in the modular construction of low-level programs, e.g. in compilers. This talk will explain this idea, focusing on the structure of the Geometry of Interaction. It will outline some of this structure and how it can be used to organise low-level programs, e.g. to define compiler intermediate languages. The talk will discuss applications, such as the definition of a modular closure conversion method.

 

Document Actions