Home TOBIAS-lib | Kontakt | TOBIAS-lib-Hilfe | Leitlinien 

   

SUCHEN   |   VERÖFFENTLICHEN

Suche - Übersicht  |   Erweiterte Suche  |   Browsen  |   Portale  |   Volltextsuche  |   Dokumentenserver

 

Zugang zum Dokument

Knauel, Eric:

A flow-analysis framework for realistic Scheme programs

Eine Flussanalyse für realistische Scheme-Programme

Datei(en):

PDF 1.218kB

Zitierfähiger Link:	Bitte nutzen Sie diese URL, um auf das Dokument zu verlinken oder es zu zitieren: http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-33635
URL:	http://tobias-lib.uni-tuebingen.de/volltexte/2008/3363/
Hauptberichter:	Klaeren, Herbert (Prof. Dr.)
Fakultät:	17 Fakultät für Informations- und Kognitionswissenschaften
Institut:	17 Wilhelm-Schickard-Institut für Informatik
Dokumentart:	Dissertation
Sprache:	Englisch
Erstellungsjahr:	2008
Publikationsdatum:	28.05.2008
Tag der mündlichen Prüfung:	07.05.2008
Kurze Inhaltszusammenfassung auf 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.
Kurze Inhaltszusammenfassung auf 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.
Kontrollierte Schlagwörter (Deutsch):	Compiler , Optimierender Compiler , Scheme <Programmiersprache> , Programmanalyse , Abstrakte Interpretation
Freie Schlagwörter (Englisch):	Compiler , Scheme , Program analysis , Abstract interpretation , Functional programming
DDC-Sachgruppe:	Informatik
Gedruckte Kopie bestellen:	Print-on-Demand
Lizenz:	Veröffentlichungsvertrag mit Print-on-Demand

Tipps zur Suche

• Für weitere Veröffentlichungen des Autors klicken Sie auf seinen Namen.
• Der zitierfähige Link ist ein eindeutiger dauerhafter Link zum Dokument.
• Die Lizenz, unter der das Dokument veröffentlicht wurde, regelt, wie ein Dokument genutzt werden darf.
• Über "Print-on-Demand" können Sie ein gedrucktes und gebundenes Exemplar des Dokuments bestellen.