A flow-analysis framework for realistic Scheme programs

DSpace Repository


Dateien:

URI: http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-33635
http://hdl.handle.net/10900/49165
Dokumentart: PhDThesis
Date: 2008
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
Advisor: Klaeren, Herbert (Prof. Dr.)
Day of Oral Examination: 2008-05-07
DDC Classifikation: 004 - Data processing and computer science
Keywords: Compiler , Optimierender Compiler , Scheme <Programmiersprache> , Programmanalyse , Abstrakte Interpretation
Other Keywords:
Compiler , Scheme , Program analysis , Abstract interpretation , Functional programming
License: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Order a printed copy: Print-on-Demand
Show full item record

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.

Abstract:

It is possible to scale control-flow analyses for higher-order languages to complete, fully-fledged programming languages and consequently compute the flow analysis of realistic programs. This dissertation gives a formal specification of a universal flow-analysis framework for the functional programming languages Scheme and PreScheme that covers all aspects and features of these languages. Moreover, the dissertation proposes new implementation strategies and techniques that have been developed and tested in context of an implementation for Scheme 48. These techniques yield an efficient implementation that enables analysis of realistic programs.

This item appears in the following Collection(s)