Eingang zum Volltext in Tobias-lib

Lizenz

Dissertation zugänglich unter
URN: urn:nbn:de:bsz:21-opus-33635
URL: http://tobias-lib.ub.uni-tuebingen.de/volltexte/2008/3363/

A flow-analysis framework for realistic Scheme programs

Eine Flussanalyse für realistische Scheme-Programme

Knauel, Eric

pdf-Format:		Dokument 1.pdf (1.218 KB)
Gedruckte Ausgabe:		Print-on-Demand-Kopie
SWD-Schlagwörter:		Compiler , Optimierender Compiler , Scheme <Programmiersprache> , Programmanalyse , Abstrakte Interpretation
Freie Schlagwörter (Englisch):		Compiler , Scheme , Program analysis , Abstract interpretation , Functional programming
Institut:		17 Wilhelm-Schickard-Institut für Informatik
Fakultät:		17 Fakultät für Informations- und Kognitionswissenschaften
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Klaeren, Herbert (Prof. Dr.)
Sprache:		Englisch
Tag der mündlichen Prüfung:		07.05.2008
Erstellungsjahr:		2008
Publikationsdatum:		28.05.2008
Kurzfassung in Englisch:		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.
Kurzfassung in Deutsch:		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.
Lizenz:		Veröffentlichungsvertrag

	Home | Kontakt | Index | Policy | Disclaimer | Impressum
Fragen, Anregungen, Feedback Universitätsbibliothek, TOBIAS-lib, Tel. +49 (0)7071/29-76999 Wilhelmstr. 32, 72074 Tübingen, Raum H 236