Vorlesung: Höhere Programmiersprachen

WS 2004/2005

Dr. Sabine Glesner

Übung: Jan Olaf Blech

Termine:

Vorlesung: jeweils Montag, 14:00-15:30, HS -102 (Info)
Übung: Montag (14-tägig) 15:45-17:15, SR -118


Inhalt: Die Vorlesung gliedert sich in zwei Teile. Im ersten Teil werden Grundlagen, Konzepte und Paradigmen moderner Programmiersprachen vermittelt. Diese werden jeweils an geeigneten Sprachen illustriert. Der zweite Teil gibt einen Überblick über verschiedene Methoden, die Semantik von Programmiersprachen formal zu definieren.

Organisation: Im Laufe des Semesters werden die Folien der Vorlesung auf dieser Webseite zum Herunterladen zur Verfügung stehen.

Nr.	Termin	Thema	Folien
		Teil 1: Grundlagen und Programmiersprach-Paradigmen
1	18.10.2004	Grundlagen	hps1.pdf ; hps1-4.pdf
	18.10.2004	Übungungsblatt 1	uebungsblatt1.pdf loesungsblatt1.pdf
2	8.11.2004	Konzepte imperativer Sprachen	hps2.pdf ; hps2-4.pdf
	8.11.2004	Übungungsblatt 2	uebungsblatt2.pdf loesungsblatt2.pdf
3	8.11.2004	Konzepte deklarativer Sprachen	hps3.pdf ; hps3-4.pdf
	22.11.2004	Übungungsblatt 3	uebungsblatt3.pdf loesungsblatt3.pdf
4	6.12.2004	Objektorientierte Sprachen	hps4.pdf ; hps4-4.pdf
	6.12.2004	Übungungsblatt 4	uebungsblatt4.pdf loesungsblatt4.pdf
5	6.12.2004	Fortran	hps5.pdf ; hps5-4.pdf
		Teil 2: Formale Semantik
6	10.1.2005	Formale Semantik Einleitung	hps6.pdf ; hps6-4.pdf
7	10.1.2005	Abstract State Machines	hps7.pdf ; hps7-4.pdf
	10.1.2005	Übungungsblatt 5	uebungsblatt5.pdf loesungsblatt5.pdf
8	17.1.2005	Operationale Semantik	hps8.pdf ; hps8-4.pdf
	24.1.2005	Übungungsblatt 6	uebungsblatt6.pdf
9	31.1.2005	Denotationelle Semantik	hps9.pdf ; hps9-4.pdf
	31.1.2005	Übungungsblatt 7	uebungsblatt7.pdf
10	11.2.2005	Axiomatische Semantik	hps10.pdf ; hps10-4.pdf

Bei weitergehendem Interesse und zur Prüfungsvorbereitung empfehlen wir den Besuch unserer Lesegruppe .

---

Letzte Aktualisierung: 11.2.2005 -- Jan Olaf Blech