Tobias-lib - Fully-parameterized, first-class modules with hygienic macros

Lizenz / license
Bitte zitieren sie dieses Dokument als / Please cite this document using URN: urn:nbn:de:bsz:21-opus-24239 URL: http://w210.ub.uni-tuebingen.de/dbt/volltexte/2006/2423/	Documents hosted by Tobias-lib

Gasbichler, Martin

Fully-parameterized, first-class modules with hygienic macros

pdf-Format:

Dokument 1.pdf (1,287 KB)

Gedruckte Ausgabe:
Print-on-Demand-Kopie

Kurzfassung in englisch
It is possible to define a formal semantics for configuration, elaboration, linking, and evaluation of fully-parameterized first-class modules with hygienic macros, independent compilation, and code sharing. This dissertation defines such a semantics making use of explicit substitution to formalize hygienic expansion and linking. In the module system, interfaces define the static semantics of modules and include the definitions of exported macros. This enables full parameterization and independent compilation of modules even in the presence of macros. Thus modules are truly exchangeable components of the program. The basis for the module system is an operational semantics for hygienic macro expansion - computational macros as well as rewriting-based macros. The macro semantics provides deep insight into the nature of hygienic macro expansion through the use of explicit substitutions instead of conventional renaming techniques. The semantics also includes the formal description of Macro Scheme, the meta-language used for evaluating computational macros.

Kurzfassung in deutsch
Es ist möglich, eine formale Semantik anzugeben, welche die Phasen Konfiguration, syntaktische Analyse mit Makroexpansion, Linken und Auswertung für ein vollparametrisiertes Modulsystem mit Modulen als Werten erster Klasse, unabhängiger Übersetzung und Code-Sharing beschreibt. Diese Dissertation beschreibt eine solche Semantik. Dabei formalisieren explizite Substitutionen die hygienische Makroexpansion und das Linken. Im Modulsystem beschreiben Schnittstellen die statische Semantik von Modulen und enthalten die Definitionen der exportierten Makros. Dies ermöglicht volle Parametrisierung und unabhängige Übersetzung sogar in Kombination mit Makros. Module sind damit echte austauschbare Komponenten eines Programms. Die Grundlage für das Modulsystem bildet eine operationelle Semantik für hygienische Makroexpansion die berechnende Makros ebenso beschreibt wie regelbasierte Makros. Durch die Verwendung expliziter Substitutionen anstelle konventioneller Umbenennung gibt die Semantik für Makroexpansion tiefe Einblicke in das Wesen hygienischer Makroexpansion. Die Semantik beschreibt außerdem Makro Scheme, die Metasprache für die berechnenden Makros.

SWD-Schlagwörter: Modul <Software> , Funktionale Programmierung

Freie Schlagwörter (deutsch): Hygienische Makros , Operationelle Semantik

Freie Schlagwörter (englisch): hygienic macros , operational semantics

Institut: Bereich 17 Fakultät für Informations- und Kognitionswissenschaften

Fakultät: 17 Fakultät für Informations- und Kognitionswissenschaften

DDC-Sachgruppe: Informatik

Dokumentart: Dissertation

Hauptberichter: Klaeren, Herbert

Sprache: englisch

Tag der mündlichen Prüfung: 15.02.2006

Erstellungsjahr: 2006

Publikationsdatum: 11.08.2006

Lizenz: Veröffentlichungsvertrag

Gedruckte Ausgabe: Print-on-Demand-Kopie

Kurzfassung in englisch It is possible to define a formal semantics for configuration, elaboration, linking, and evaluation of fully-parameterized first-class modules with hygienic macros, independent compilation, and code sharing. This dissertation defines such a semantics making use of explicit substitution to formalize hygienic expansion and linking. In the module system, interfaces define the static semantics of modules and include the definitions of exported macros. This enables full parameterization and independent compilation of modules even in the presence of macros. Thus modules are truly exchangeable components of the program. The basis for the module system is an operational semantics for hygienic macro expansion - computational macros as well as rewriting-based macros. The macro semantics provides deep insight into the nature of hygienic macro expansion through the use of explicit substitutions instead of conventional renaming techniques. The semantics also includes the formal description of Macro Scheme, the meta-language used for evaluating computational macros. Kurzfassung in deutsch Es ist möglich, eine formale Semantik anzugeben, welche die Phasen Konfiguration, syntaktische Analyse mit Makroexpansion, Linken und Auswertung für ein vollparametrisiertes Modulsystem mit Modulen als Werten erster Klasse, unabhängiger Übersetzung und Code-Sharing beschreibt. Diese Dissertation beschreibt eine solche Semantik. Dabei formalisieren explizite Substitutionen die hygienische Makroexpansion und das Linken. Im Modulsystem beschreiben Schnittstellen die statische Semantik von Modulen und enthalten die Definitionen der exportierten Makros. Dies ermöglicht volle Parametrisierung und unabhängige Übersetzung sogar in Kombination mit Makros. Module sind damit echte austauschbare Komponenten eines Programms. Die Grundlage für das Modulsystem bildet eine operationelle Semantik für hygienische Makroexpansion die berechnende Makros ebenso beschreibt wie regelbasierte Makros. Durch die Verwendung expliziter Substitutionen anstelle konventioneller Umbenennung gibt die Semantik für Makroexpansion tiefe Einblicke in das Wesen hygienischer Makroexpansion. Die Semantik beschreibt außerdem Makro Scheme, die Metasprache für die berechnenden Makros.
SWD-Schlagwörter:		Modul <Software> , Funktionale Programmierung
Freie Schlagwörter (deutsch):		Hygienische Makros , Operationelle Semantik
Freie Schlagwörter (englisch):		hygienic macros , operational semantics
Institut:		Bereich 17 Fakultät für Informations- und Kognitionswissenschaften
Fakultät:		17 Fakultät für Informations- und Kognitionswissenschaften
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Klaeren, Herbert
Sprache:		englisch
Tag der mündlichen Prüfung:		15.02.2006
Erstellungsjahr:		2006
Publikationsdatum:		11.08.2006
Lizenz:		Veröffentlichungsvertrag
Gedruckte Ausgabe:		Print-on-Demand-Kopie


	Home \| Hilfe \| 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