Semantik von Programmiersprachen

Tobias Nipkow

Bereich: III, Vorlesung: 3 Std.
Semantik kann alternativ auch als Vertiefung zu Übersetzung von Programmiersprachen in die Diplomprüfung im Bereich Praktische Informatik eingebracht werden.

Zeit & Ort: Dienstag 8:30-10:00 in S0314, Mittwoch 9:15-10:00 in N1090

Beginn: 7.11.95

Übung: Zentralübung, Dienstag 13:15-14:45 in 1601.
Übungsleitung: Franz Regensburger und Birgit Schieder.

Die Aufgabenblätter für die Zentralübung werden regelmäßig in der Vorlesung verteilt. Sie enthalten Hausaufgaben H, Programmieraufgaben P und Aufgaben Ü, die in der Zentralübung behandelt werden. Für alle Aufgaben werden Lösungsvorschläge bereitgestellt. Bei Bedarf werden in der Vorlesung auch Merkblätter ausgeteilt. Nähere Information findet sich im Merkblatt 1.

Inhalt:

• IMP: eine while-Sprache über ganzen Zahlen:
  • Operationale Semantik
  • Denotationale Semantik
  • Axiomatische Semantik
  • Continuation Semantik
  • Nichtdeterminismus
• Fixpunkttheorie auf vollständigen Halbordnungen (CPO's).
• LCF: eine Meta-Sprache zur Semantikdefinition.
• Semantik funktionaler Sprachen:
  • REC: rekursive Funktionen über ganzen Zahlen.
  • HOREC: eine Sprache mit Funktionen als Daten.
• Parallelismus und Kommunikation.

Hörerkreis: Studenten/-innen der Informatik und Mathematik

Voraussetzungen: Vordiplom

Empfehlenswert für: Für eine spätere Beschäftigung mit der Semantik von Programmiersprachen ist diese Vorlesung unabdingbar.

Übungsschein: nach Bestehen einer Semestralklausur

Skript: keines

Literatur: Die Vorlesung orientiert sich sehr stark an

Sprechstunde: S2233, nach Vereinbarung.