Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / Bachelor- und Masterarbeiten / Projektbeschreibungen / Effiziente Termrepräsentationen für Typisierungsalgorithmen


Inhaltsbereich

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


Funktionsleiste