Vorlesung: Höhere Programmiersprachen

WS 2002/2003

Dr. Sabine Glesner

Termine: jeweils Montag, 14:00-15:30, HS -102 (Info)

Inhalt: Die Vorlesung gliedert sich in drei 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. Mittelpunkt des dritten Teils bilden Konfigurations- und Skritsprachen sowie weitere praxisrelevante Programmiersprachen.

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	14.10.02	Grundlagen
2	21.10.02	Grundlagen; Konzepte imperativer Sprachen
3	28.10.02	Konzepte imperativer Sprachen
4	4.11.02	Deklarative Sprachen
5	11.11.02	Deklarative Sprachen; Objektorientierte Sprachen
6	18.11.02	Objektorientierte Sprachen
7	25.11.02	Fortran
		Teil 2: Formale Semantik
8	2.12.02	Operationale Semantik mit ASMs
9	9.12.02	Operationale Semantik mit natürlicher Semantik und SOS
10	16.12.02	Denotationelle Semantik
11	13.1.03	Denotationelle Semantik; Axiomatische Semantik
		Teil 3: Weitere Programmiersprachen
12	20.1.03	Software-Komposition, XML, CORBA, ...
13	27.1.03	Skriptsprachen
14	3.2.03	Cobol
15	10.2.03	Abap/4