Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Vorlesung: Semantik von Programmiersprachen (WS04/05)

Dr. Alexander Knapp

Inhaltsverzeichnis

• Inhalt
• Personen
• Termine

Inhalt

Es werden drei klassische Ansätze zur Semantik von Programmiersprachen besprochen: In der operationalen Semantik wird die Bedeutung eines programmiersprachlichen Konstrukts dadurch festgelegt, wie es auszuführen ist und zu welchen Effekten es führt. In der denotationellen Semantik wird von der spezifischen Ausführungsart abstrahiert und lediglich der Effekt eines Konstrukt betrachtet. Schließlich wird im axiomatischen Ansatz der Effekt eines Konstrukts durch Zusicherungen spezifiziert.

Als Beispielsprache für die unterschiedlichen semantischen Ansätze dient eine einfache, imperative WHILE-Sprache, die im Verlauf der Vorlesung um syntaktische Konstrukte erweitert wird.

Hörerkreis:

Studenten im Hauptstudium mit Hauptfach Informatik

Voraussetzungen:

-

Literatur:

• Hanne Riis Nielson, Flemming Nielson. Semantics with Applications. John Wiley & Sons, 1992.
• Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.
• John C. Mitchell. Foundations for Programming Languages. The MIT Press, 1996.
• John C. Reynolds. Theories of Programming Languages. Cambridge University Press, 1998.

Personen

Vorlesung

Dr. Alexander Knapp (knapp, E0.6, Oettingenstr. 67; 2180 9179)

Übungen

Michael Barth (barth, E11, Oettingenstr. 67; 2180 9135)

Termine

Vorlesung

Zeit: Do 13:30-16:00h

Ort: Raum E0.41, Oettingenstr. 67

Übungen

Zeit: Mi 12-14h

Ort: Raum E0.41, Oettingenstr. 67