Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.de/Lehre/WS0607/sem/
Vorlesung: Semantik von Programmiersprachen (WS06/07)
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 Konstrukts 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.
-
Vorlesung und Übung:
-
Prof. Dr. Alexander Knapp (
knapp, E0.6, Oettingenstr. 67; 2180 9179)
-
Vorlesung
-
Zeit: Do 13-16h
-
Ort: Raum 0.43, Oettingenstr. 67
-
Beginn: 19.10.06
-
Übungen
-
Zeit: Mi 16-18h
-
Ort: Raum 1.15, Oettingenstr. 67
-
Beginn: 25.10.06
- Folien 19.10.06 (pdf)
- Folien 26.10.06 (pdf)
- Folien 9.11.06 (pdf)
- Folien 16.11.06 (pdf)
- Folien 23.11.06 (pdf)
- Folien 30.11.06 (pdf)
- Folien 7.12.06 (pdf)
- Folien 14.12.06 (pdf)
- Folien 21.12.06 (pdf)
- Folien 11.1.07 (pdf)
- Folien 18.1.07 (pdf)
- Folien 25.1.07 (pdf)
- Folien 1.2.07 (pdf)
- Folien 8.2.07 (pdf)
Gesammelter Foliensatz (pdf)
Die Übungsaufgaben sind alleine oder zu zweit zu bearbeiten. Die mit Punkten versehenen Aufgaben sind die abzugebenden Hausaufgaben.
Lehrveranstaltungen
Lehrstuhl
Institut
Universität
Alexander Knapp (24.9.6)
Last modified: Wed Feb 8 19:10:19 CET 2007