Hauptseminar "Moderne Programmiermethoden" (SS 2006)

Dozenten:

Prof. Christian Lengauer (CL), Priv.-Doz. Dr. Martin Griebl (MG), Dr. Christoph Herrmann (CH), Michael Classen (MC), Armin Größlinger (AG),

Termin:

montags, 13:00(s.t.)-16:00, FMI 242

Eintrag im kommentierten Vorlesungsverzeichnis

Seminarinhalte

• Metaprogrammierung, d.h. die Erstellung von Programmen, die Programme analysieren und manipulieren. Mit diesem Ansatz kann man vergleichsweise bequem Programmierprachen oder Spracherweiterungen implementieren, die den Gegebenheiten und Bedürfnissen spezieller Anwendungsgebiete Rechnung tragen (sog. domänenspezifische Programmiersprachen).
• Grid-Programmierung. Das Grid ist das Internet, betrachtet als ein weltweiter verteilter Rechner. Die Erstellung flexibler und effizienter verteilter Programme und Services für das Grid erfordert besondere Techniken und Tricks der Parallelprogrammierung und Metaprogrammierung.
• Feature-orientierte Programmierung, d.h. die sukzessive Erweiterung eines objektorientierten Programms um zusätzliche Funktionalität (sog. Features). Als Implementierungstechnik bedient man sich hier der Aspektorientierung, aber in einer eingeschränkten, "disziplinierten" Form. Feature-orientierte Programmierung kann auf bequeme Weise zu großen, verlässlichen Programmsystemen führen.
• Problemspezifische Typkonzepte dehnen den Einsatz von Typen auf die Kontrolle wichtiger Programmeigenschaften aus, insbesondere auf die Größe von Datenstrukturen. Damit übernimmt der Typchecker die Rolle eines Theorembeweisers für diese Eigenschaften. Eine wichtige Anwendungsdomäne ist das Hardware-Design oder eingebettete Systeme mit engen Ressourcenanforderungen.

Vortragsthemen

Meta = Metaprogrammierung
Grid = Grid-Programmierung
FOP = feature-orientierte Programmierung
Typ = Problemspezifische Typkonzepte

Termin	Gruppe	Thema	Links	Vortragende(r)	Ausarbeitung	Folien	Betreuer
10.07.	Grid	Das Komponentenmodell Fractal	Fractal	Christoph Zengler	PDF	PDF	AG
10.07.	Grid	Die Fractal-Implementierung ProActive	ProActive	Martin Steghöfer	PDF	PDF	AG
17.07.	Meta	Template Haskell	WWW, P1	Johannes Pirkl	PDF	PDF	CH
17.07.	Meta	Statische Metaprogrammierung in C++	WWW, Boost MPL, P1	Michael Pisula	PDF	PDF	CH

Hinweise