Multiparadigmen-Programmiersprachen

Informationen

Martin Grabmüller: Multiparadigmen-Programmiersprachen, in Forschungsberichte Fakultät IV - Elektrotechnik und Informatik, Nummer 2003-15, Technische Universität Berlin, Oktober 2003.

Teile dieses Berichts wurden in einem Vortrag präsentiert.

82 Seiten, DIN A4-Format, deutsch.

Kurzfassung

Dieser Bericht untersucht Programmiersprachen, die verschiedene Programmierparadigmen in sich vereinen. Dabei wird ein breiter Überblick über die existierenden Ansätze und Techniken bei Entwurf und Implementierung multiparadigmatischer Sprachen herausgearbeitet. Die Unterschiede der einzelnen etablierten Programmierparadigmen werden beschrieben und die Möglichkeiten zur Kombination dieser Paradigmen anhand der Untersuchung existierender Programmiersprachen erläutert. Nach einer genaueren Betrachtung syntaktischer und semantischer Eigenschaften unterschiedlicher Programmiersprachen werden Vorschläge zum Entwurf von Programmiersprachen, welche die Programmierung in unterschiedlichen Paradigmen erlauben, entwickelt.

Inhalt

• Kurzfassung
• 1 Einführung
• 1.1 Motivation
• 1.2 Schwerpunkt
• 1.3 Gliederung
• 2 Multiparadigmen-Programmiersprachen
• 2.1 Definitionen
• 2.2 Betrachtete Paradigmen
• 2.3 Design-Überlegungen
• 2.4 Funktionale und imperative Programmierung
• 2.4.1 Standard ML
• 2.4.2 Haskell
• 2.5 Logische und imperative Programmierung
• 2.5.1 Paslog
• 2.5.2 Alma-0
• 2.6 Funktionale und logische Programmierung
• 2.6.1 Curry
• 2.6.2 Gödel
• 2.6.3 Escher
• 2.6.4 Mercury
• 2.6.5 &grl;-Prolog
• 2.6.6 L&grl;
• 2.7 Constraint-logische Programmierung
• 2.7.1 AKL - AGENTS Kernel Language
• 2.8 Constraint-funktionale Programmierung
• 2.8.1 Goffin
• 2.8.2 Falcon
• 2.9 Constraint-imperative Programmierung
• 2.9.1 Kaleidoscope
• 2.9.2 Turtle
• 2.10 Nebenläufige und verteilte Sprachen
• 2.10.1 Erlang
• 2.10.2 Eden
• 2.10.3 Nebenläufigkeit in anderen deklarativen Sprachen
• 2.11 Multiparadigmensprachen
• 2.11.1 CFLP(R)
• 2.11.2 Leda
• 2.11.3 J/mp
• 2.11.4 G, G-2 und GED
• 2.11.5 Oz
• 2.11.6 LIFE
• 2.12 Diskussion
• 3 Syntax und Semantik
• 3.1 Syntax
• 3.1.1 Minimale Anforderungen
• 3.1.2 Ansätze
• 3.2 Semantik
• 3.3 Semantik deklarativer Sprachen
• 3.4 Semantik deklarativer und imperativer Sprachen
• 3.4.1 Synchronisierte Ströme
• 3.4.2 Continuations
• 3.4.3 Eindeutige Typen
• 3.4.4 Monaden
• 3.4.5 Imperative Erweiterungen des &lgr;-Kalküls
• 3.4.6 Effektsysteme
• 3.4.7 Berechnungs- und Koordinationssprachen
• 3.4.8 Diskussion
• 3.5 Praktische Überlegungen
• 3.5.1 Implementierung
• 3.5.2 Reflection
• 3.5.3 Datenrepräsentation
• 3.6 Diskussion
• 4 Zukünftige Arbeiten und Zusammenfassung
• 4.1 Zukünftige Arbeiten
• 4.2 Zusammenfassung
• Literaturverzeichnis
• Glossar
• Index

Download

Dieser Bericht ist elektronisch verfügbar: [ PDF ]

BibTeX Eintrag

@TechReport{Grabmueller2003MPP,
  author = 	 {Martin Grabm{\"u}ller},
  title = 	 {{Multiparadigmen-Programmiersprachen}},
  institution =  {Technische Universit{\"a}t Berlin},
  year = 	 {2003},
  type =	 {Research report},
  number =	 {2003-15 in {\em Forschungsberichte Fakult{\"a}t IV --
                  Elektrotechnik und Informatik}},
  month =	 {October},
  abstract = {Dieser Bericht untersucht Programmiersprachen, die 
              verschiedene Programmierparadigmen in sich vereinen.  Dabei
              wird ein breiter "Uberblick "uber die existierenden Ans"atze
              und Techniken bei Entwurf und Implementierung 
              multiparadigmatischer Sprachen herausgearbeitet. Die 
              Unterschiede der einzelnen etablierten Programmierparadigmen
              werden beschrieben und die M"oglichkeiten zur Kombination dieser
              Paradigmen anhand der Untersuchung existierender
              Programmiersprachen erl"autert.  Nach einer genaueren
              Betrachtung syntaktischer und semantischer Eigenschaften 
              unterschiedlicher Programmiersprachen werden Vorschl"age zum
              Entwurf von Programmiersprachen, welche die Programmierung in
              unterschiedlichen Paradigmen erlauben, entwickelt.}
}