Universität Augsburg
|
Thomas Weizenegger
Universität Augsburg
spricht am
Donnerstag, 19. Dezember 2019
um
10:00 Uhr
im
Raum 1007 (L1)
über das Thema:
Abstract: |
Viele Programmiersprachen lösen die Aufgabe der Speicherverwaltung auf unterschiedliche Weise, bspw. mit einem Garbage Collector oder indem die Verantwortung dem Programmierer überlassen wird. Eine weitere Lösungsmöglichkeit besteht in einem affinen Typsystem, in dem jede Variable nur einmal verwendet werden kann, wodurch bereits zur Kompilierzeit ermittelt werden kann, welche Speicherbereiche zu welchem Zeitpunkt nicht mehr benötigt werden. Der Vortrag behandelt das theoretische Fundament dieses Konzepts, die lineare und affine Typentheorie, erörtert ihre Korrespondenz mit der lineare/affine Logik, Eigenschaften von symmetrisch monoidalen Kategorien, die Möglichkeiten, eine Korrespondenz zwischen linearer/affiner Typentheorie und solchen Kategorien zu betrachten, sowie die Anwendung affiner Typen in Programmiersprachen wie Rust. |
Hierzu ergeht herzliche Einladung. |
Prof. Dr. Marc Nieper-Wißkirchen |