Implementierung funktionaler Programmiersprachen
Codegenerierung, Speicherverwaltung und Testsysteme für Sprachen mit verzögerter Auswertung
Published on 1. January 1993
Book
Paperback/Softback
252 pages
978-3-8244-2037-7 (ISBN)
Description
2.1 MS -Eine einfache funktionale Sprache Zur Beschreibung der Übersetzung funktionaler Sprachen wird in diesem Ab schnitt eine einfache Sprache definiert, die als gemeinsamer Kern der meisten modernen funktionalen Sprachen angesehen werden kann. Diese Sprache enthält keine Listen-oder Mengenabstraktionen und nur sehr eingeschränkte Möglich keiten des Pattern-Matching. Sie ist jedoch mächtig genug, um die im folgenden behandelten wesentlichen Probleme der Codegenerierung aufzeigen zu können. Wir wollen diese Sprache Mini-SAMPAE oder kurz MS nennen, da sie eine Un termenge der in SAMPAE zulässigen Programme definiert. Die Syntax von MS ist in den Abbildungen 2.1, 2.2 und 2.3 zusammengefaßt. Ein MS-Programm besteht aus einem einzigen Modul, das eine Liste von Definitionen und einen Ausdruck enthält. Der Wert dieses Ausdrucks ist das Ergebnis des Programms bei der Ausführung. In der globalen Definitionsliste können Typen und Funktionen definiert werden. Die Typen der definierten Funktionen können in MS nicht spezifiziert werden. Typdefinitionen dienen lediglich dazu, neue Datenkonstruktoren zu definieren. Es wird davon ausge gangen, daß eine frühere Übersetzungsphase, der Typ checker , das Programm auf Typkorrektheit überprüft und für jedes syntaktische Konstrukt einen Typ berechnet hat, der während der Codegenerierungsphase erfragt werden kann.
More details
Edition
1993
Language
German
Place of publication
Wiesbaden
Germany
Target group
Professional and scholarly
Research
Illustrations
3 s/w Abbildungen
252 S. 3 Abb.
Dimensions
Height: 210 mm
Width: 148 mm
Thickness: 15 mm
Weight
356 gr
ISBN-13
978-3-8244-2037-7 (9783824420377)
DOI
10.1007/978-3-322-91022-6
Schweitzer Classification
Other editions
Additional editions
Michael Gloger
Implementierung funktionaler Programmiersprachen
Codegenerierung, Speicherverwaltung und Testsysteme für Sprachen mit verzögerter Auswertung
E-Book
03/2013
Deutscher Universitätsverlag
€38.66
Available for download
Content
1 Projektgeschichte und Überblick.- 1.1 Das SAMP?E Projekt.- 1.2 Die funktionale Sprache SAMP?E.- 1.3 Die SAMP?E Programmierumgebung.- 1.4 Die Ausführung von SAMP?E Programmen.- 1.5 Übersetzer-Architektur und Maschinenmodelle.- 1.6 Aufbau dieser Arbeit.- 2 Einführung.- 2.1 MS - Eine einfache funktionale Sprache.- 2.2 Verzögerte Auswertung und Striktheitsanalyse.- 2.3 Eigenschaften moderner RISC Rechner.- 2.4 Prinzipielle Techniken der MS Implementierung.- 3 Übersetzung von Sprachen mit verzögerter Auswertung.- 3.1 Phaseneinteilung des Übersetzers.- 3.2 Die abstrakte Registermaschine RM.- 3.3 Die abstrakte Syntax von MS.- 3.4 Suspensionsanalyse.- 3.5 RM-Übersetzer.- 3.6 Optimierung der Repräsentation verzögerter Ausdrücke.- 3.6 Generierung von Objektcode am Beispiel des SPARC-Prozessors.- 4 Speicherverwaltung.- 4.1 Speicherfreigabe für Multisuspensionen.- 4.2 Generationenbasierte Speicherbereinigung.- 5 Testen bei verzögerter Auswertung.- 5.1 Einführung in die Problematik und Diskussion bisheriger Techniken.- 5.2 Das Boxmodell.- 5.3 Implementierung des Testsystems.- 6 Zusammenfassung und Ausblick.- 6.1 Codegenerierung.- 6.2 Speicherverwaltung.- 6.3 Testen.- A Die funktionale Sprache SAMP?E.- A.1 Lexikalische Konventionen.- A.2 Operatoren.- A.3 Ausdrücke.- A.4 Definition von Werten.- A.5 Module.- A.6 Typen.- A.6.1 Basistypen.- A.6.2 Vordefinierte strukturierte Typen.- A.6.3 Typsynonyme.- A.6.4 Summentypen.- A.7 Iterator-Ausdrücke.- B Standard SAMP?E-Funktionen.- C Befehle des SPARC-Prozessors.