Multiparadigmen-Programmiersprachen

Information

Martin Grabmüller: Multiparadigmen-Programmiersprachen, in Forschungsberichte Fakultät IV - Elektrotechnik und Informatik, number 2003-15 (German), Technische Universität Berlin, October 2003.

Part of the work in this report was presented in a talk.

82 pages, format DIN A4, German.

Abstract

This report investigates programming languages which combine different programming paradigms. A broad survey of existing approaches and techniques for the design and implementation of multiparadigmatic languages is given. The differences between the various established programming paradigms are described and the possibilities for combining these paradigms are discussed according to the investigation of existing programming languages. After discussing syntactic and semantic properties of different programming languages in more detail, suggestions for the design of programming languages incorporating several paradigms are developed.

Table of Contents

• 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

This report is available electronically: [ PDF ]

BibTeX Entry

@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.}
}