VL: Semantik von Programmiersprachen
VL 12072 Semantik von Programmiersprachen
Prof. Dr. R. Loogen
Dienstag, 10.30 - 13.00 Uhr, LE HS IV (Lahnberge)
Beginn: 18.04.2006
UE 12073 Jost Berthold
Donnerstags, 12 - 14 Uhr, LE HS I (Lahnberge)
Beginn: 27. April 2006, 13-14 Uhr
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Theoretische Informatik Hauptstudium >=5 8 nein

Voraussetzungen: Programmierkenntnisse, Mathematische Grundkenntnisse
Querverbindungen: -
Scheinkriterien: Voraussetzungen für einen unbenoteten Schein:
  1. aktive Teilnahme an den Übungen
  2. erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben
  3. erfolgreiche Präsentation der Lösungen von mindestens einer mündlichen Übungsaufgabe
Für einen benoteten Schein muss zusätzlich ein Kolloquium oder eine Klausur bestanden werden.
Termine:
  • Klausur: Di 18. Juli 2006, 10.30 - 12.30 Uhr, HS IV (Lahnberge)
  • Klausureinsicht und -rückgabe: Do, 20. Juli 2006, 12.00 - 13.00 Uhr, HS I (Lahnberge)
  • Nachholklausur: Di 10. Oktober 2006, 9.30 - 11.30 Uhr, HS I (Lahnberge)
  • Einsicht und Rückgabe der Nachholklausur: Do 12. Oktober 2006, 14.00 - 14.30 Uhr, SR V (Lahnberge)

Übungsblätter: ...erscheinen dienstags und bestehen aus mündlichen und schriftlichen Aufgaben.
Mündliche Aufgaben sind zum darauffolgenden Tutorium zur Präsentation vorzubereiten.
Schriftliche Aufgaben sind am darauffolgenden Dienstag abzugeben.
Blatt 1, 25.04.2006 (Postscript, PDF)
Blatt 2, 02.05.2006 (Postscript, PDF)
Blatt 3, 09.05.2006 (Postscript, PDF)
Blatt 4, 16.05.2006 (Postscript, PDF)
Blatt 5, 23.05.2006 (Postscript, PDF) kein Tutorium
Blatt 6, 30.05.2006 (Postscript, PDF)
Blatt 7, 06.06.2006 (Postscript, PDF)
Blatt 8, 13.06.2006 (Postscript, PDF) kein Tutorium, 15 P.
Blatt 9, 20.06.2006 (Postscript, PDF)
Blatt 10, 27.06.2006 (Postscript, PDF)
Blatt 11, 04.07.2006 (Postscript, PDF) letztes Blatt mit schriftlichen Aufgaben
Blatt 12, 11.07.2006 (Postscript, PDF) mündlich, letztes Übungsblatt

Links: (noch keine)
...
Literatur:
  • Glynn Winskel: The Formal Semantics of Programming Languages, MIT Press 1993.
  • K. Slonneger, B. Kurtz: Formal Syntax and Semantics of Programming Languages, Addison-Wesley 1995.
  • Elfriede Fehr: Semantik von Programmiersprachen, Springer 1989.
  • Hanne Riis Nielson, Flemming Nielson: Semantics with Applications - A Formal Introduction, Wiley 1992.
    Da das Nielson-Buch nicht mehr lieferbar ist, haben die Autoren 1999 eine überarbeitete Postscriptversion veröffentlicht.

Inhalt: Es werden verschiedene Ansätze zur formalen Beschreibung der Bedeutung (Semantik) von Programmiersprachen vorgestellt. Formale Semantikmodelle unterstützen das Verständnis von Programmiersprachen und die Entwicklung von Compilern. Unsicherheiten bei der Umsetzung von Algorithmen können verhindert werden. Fehlende Details, Mehrdeutigkeiten und Inkonsistenzen können frühzeitig erkannt und beseitigt werden. Korrektheitsbeweise für Programme und Compiler fußen meist auf einer formalen Semantik. Grundsätzlich unterscheidet man drei verschiedene Ansätze, die in der Vorlesung anhand einer einfachen imperativen Modellsprache eingeführt werden:
  • Operationelle Semantiken: Beschreibung von Berechnungen
  • Denotationelle Semantiken: Beschreibung des Ein-/Ausgabeverhaltens
  • Axiomatische Semantiken: Angabe von Aussagen über Programmeigenschaften
Es werden auch weiterführende Techniken für funktionale und objektorientierte Sprachen und die Beschreibung von Nichtdeterminismus und Parallelität behandelt.

Zuletzt geändert: Tuesday, 25-Jul-2006 11:33:23 CEST