Inhaltszusammenfassung:
Es ist möglich, Kontrollflussanalysen für Sprachen höherer Ordnung auf realistische Programme anzuwenden. Diese Dissertation spezifiziert eine universell verwendbare Flussanalyse für die funktionalen Programmiersprachen Scheme und PreScheme, die alle Aspekte und Fähigkeiten dieser Sprachen abdeckt. Für die praktische Umsetzung dieser Analyse werden neuartige Implementierungsstrategien und -techniken vorgestellt, die im Rahmen einer Implementierung für Scheme 48 entwickelt und erprobt wurden. Diese Techniken führen zu einer effizienten Implementierung, welche die Analyse realistischer Programme erlaubt.