edoc-Server der Humboldt-Universität zu Berlin

Dissertation

Autor(en): Dragan Macos
Titel: Implementation funktionaler Programmiersprachen durch Quelltexttransformation
Gutachter: Elfriede Fehr; Hans-Dieter Burkhard; Klaus Bothe
Erscheinungsdatum: 03.07.1998
Volltext: pdf (urn:nbn:de:kobv:11-1008913)
ps (urn:nbn:de:kobv:11-1008929)
Fachgebiet(e): Informatik
Einrichtung: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
Zitationshinweis: Macos, Dragan: Implementation funktionaler Programmiersprachen durch Quelltexttransformation; Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II , publiziert am 03.07.1998, urn:nbn:de:kobv:11-1008913
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen.

Abstract (ger):
Die Dissertation liefert einen Beitrag zur Entwicklung von Compilern funktionaler Sprachen zur Erzeugung von Zielcode in einer höheren prozeduralen Programmiersprache. In der Dissertation werden mehrere Implementationstechniken funktionaler Sprachen analysiert, wobei für jede Technik ein Verfahren zur Realisierung eines auf der Übersetzung in eine prozedurale Sprache basierenden Compilers angegeben wird. Durch die verschiedenen Implementationsverfahren, die in der Arbeit analysiert bzw. definiert wurden, sind die beiden großen Klassen funktionaler Sprachen abgedeckt worden: strikte und nicht-strikte funktionale Programmiersprachen. Die Dissertation kann in drei größere Teile gegliedert werden, die sich mit folgenden Bereichen beschäftigen:
  1. Direkte übersetzungen funktionaler in prozedurale Programmiersprachen
  2. Übersetzung des Codes der abstrakten SECD-Maschine in eine prozedurale Sprache
  3. Erzeugung des Zielcodes in einer prozeduralen Programmiersprache bei Graph-Reduktion-basierten Implementationstechniken.
Im ersten Teil, dem Schwerpunkt der Arbeit, wird eine über existierende Ansätze hinausgehende Transformation einer einfachen strikten funktionalen Programmiersprache (erweiterter Lambda-Kalkül) in den Code einer prozeduralen Zielsprache eingeführt und durch ein formales System von Transformationsregeln beschrieben. Die Transformation zeichnet sich durch Transparenz und Einfachheit (Erzeugung minimalen Codes) aus. Im zweiten und dritten Teil werden die aus der Literatur bekannten Implementationstechniken modifiziert bzw. optimiert, um Zielprogramme in einer höheren prozeduralen Programmiersprache erzeugen zu können.
Abstract (eng):
This work contributes methods for the design and implementation of translation schemes for functional programming languages with procedural programming languages as a target. The dissertation analyzes different implementation techniques of functional languages. For each technique an approach is defined for the implementation of a compiler that translates the functional source language into a procedural target language. The analyzed techniques cover both classes of functional languages, strict and non-strict ones. The work is structured into three parts with the following topics:
  1. direct translation of functional programming languages into procedural programming languages;
  2. translation of the code of the SECD-abstract machine into a procedural language;
  3. emission of a target code in a procedural language by graph-reduction-based implementation techniques.
In the first part, we give a formal definition for translating a simple functional language (syntacticly sugared lambda calculus) into the code of a procedural programming language. The defined transformation is simple and transparent. In the second and the third part, existing translation schemes are modified, i. e. two known implementation techniques are optimized to emit target code in an procedural language.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWStats aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite. Die Zugriffsstatistik wird nicht standardisiert erfasst und kann maschinelle Zugriffe enthalten.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
Startseite: 3 Zugriffe PDF: 3 Zugriffe Startseite: 5 Zugriffe PDF: 5 Zugriffe Startseite: 4 Zugriffe PDF: 1 Zugriffe Startseite: 3 Zugriffe PDF: 1 Zugriffe Startseite: 2 Zugriffe PDF: 11 Zugriffe Startseite: 1 Zugriffe PDF: 11 Zugriffe Startseite: 1 Zugriffe PDF: 15 Zugriffe PDF: 14 Zugriffe PDF: 14 Zugriffe Startseite: 2 Zugriffe PDF: 21 Zugriffe Startseite: 5 Zugriffe PDF: 29 Zugriffe PDF: 14 Zugriffe PDF: 39 Zugriffe PDF: 48 Zugriffe PDF: 47 Zugriffe Startseite: 1 Zugriffe PDF: 34 Zugriffe Startseite: 6 Zugriffe PDF: 27 Zugriffe Startseite: 5 Zugriffe PDF: 30 Zugriffe Startseite: 1 Zugriffe PDF: 12 Zugriffe Startseite: 1 Zugriffe PDF: 19 Zugriffe Startseite: 1 Zugriffe PDF: 23 Zugriffe Startseite: 1 Zugriffe PDF: 19 Zugriffe Startseite: 4 Zugriffe PDF: 26 Zugriffe Startseite: 1 Zugriffe PDF: 22 Zugriffe Startseite: 2 Zugriffe PDF: 11 Zugriffe Startseite: 7 Zugriffe PDF: 22 Zugriffe Startseite: 6 Zugriffe PDF: 22 Zugriffe Startseite: 1 Zugriffe PDF: 21 Zugriffe Startseite: 3 Zugriffe PDF: 27 Zugriffe Startseite: 2 Zugriffe PDF: 45 Zugriffe PDF: 47 Zugriffe Startseite: 7 Zugriffe PDF: 38 Zugriffe Startseite: 2 Zugriffe PDF: 32 Zugriffe Startseite: 1 Zugriffe PDF: 28 Zugriffe Startseite: 4 Zugriffe PDF: 14 Zugriffe PDF: 9 Zugriffe Startseite: 2 Zugriffe PDF: 16 Zugriffe Startseite: 2 Zugriffe PDF: 43 Zugriffe
Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Feb
12
Apr
12
May
12
Jun
12
Jul
12
Aug
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Aug
14
Sep
14
Oct
14
Monat Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Feb
12
Apr
12
May
12
Jun
12
Jul
12
Aug
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Aug
14
Sep
14
Oct
14
Startseite 3 5 4 3 2 1 1     2 5         1 6 5 1 1 1 1 4 1 2 7 6 1 3 2   7 2 1 4   2 2
PDF 3 5 1 1 11 11 15 14 14 21 29 14 39 48 47 34 27 30 12 19 23 19 26 22 11 22 22 21 27 45 47 38 32 28 14 9 16 43

Gesamtzahl der Zugriffe seit Jul 2011:

  • Startseite – 86 (2.26 pro Monat)
  • PDF – 860 (22.63 pro Monat)
 
 
Generiert am 26.11.2014, 18:22:39