Problemstellung

Zusammenfassung

Wie in der Einleitung zum Ausdruck gebracht wurde, hat die vorliegende Arbeit die Entwicklung eines Verfahrens zum Ziel, mit dessen Hilfe den Stellen eines funktionalen Programms Information über “relevante Auswertungen” zugeordnet werden kann. Ich sehe dabei eine “Auswertung” für die Bestimmung des Programmergebnisses als relevant an, wenn sie in einer sequentiellen Call-by- Need Auswertung des Programms durchgeführt wird, d. h. in einer Auswertung, bei der Teilauswertungen erst dann gestartet werden, wenn ihr Wert für die Fortsetzung der Programmauswertung benötigt wird.