Effiziente Termrepräsentationen für Typisierungsalgorithmen
Bachelorprojekt/Fortgeschrittenenpraktikum oder Diplomarbeit
In abhängig getypten Programmiersprachen müssen während der
Typprüfung große Terme gespeichert und ausgewertet werden. Die
Performanz des Typprüfers ist im wesentlichen davon abhängig, wie
abstrakte Syntax repräsentiert und ausgewertet wird. In diesem
Projekt sollten verschiedene Implementierungen auf ihren Zeit- und
Speicherverbrauch hin untersucht werden. Die Implementierungssprache
ist funktional, z.B. Haskell oder ein ML-Dialekt.
Hintergrund des Projekts ist die zur Zeit schlechte Performanz der neuen Programmiersprache Agda.
Artikelaktionen