Vermittlung grundlegender Formalismen und Definitionsmethoden zur semantischen Beschreibung und Charakterisierung von Programmiersprachen und programmiersprachlichen Konstrukten. Erarbeitung methodischer Kriterien fuer Analyse, Entwurf und Vergleich von Programmiersprachen.
Grundlegende semantische Beschreibungsmethoden und Definitionsformalismen: Operationale, denotationale und axiomatische Semantik imperativer Programmierkonstrukte; Bezüge zur Programmverifikation; universelle Algebra, gleichungsbasierte Spezifikation, Programmierung und Semantik; induktive und rekursive Definitionen; Fixpunkt-Operatoren und -Konstruktion; Vertiefung ausgewählter Themen wie Nichtdeterminismus, Parallelität und Nebenläufigkeit.
Beginn der Lehrveranstaltung: Dienstag, 8. März 2011, 09:00.
Für jeweils aktuelle Informationen siehe homepage der Lehrveranstaltung!
Anmeldung via TISS erforderlich
Es handelt sich um eine fortgeschrittene Lehrveranstaltung zu den theoretischen-logischen Grundlagen von Programmiersprachen. Vorausgesetzt werden grundlegende Kenntnisse verschiedener Programmierparadigmen und -sprachen sowie Grundkenntnisse in Logik und Formalen Methoden, entsprechend den Lehrveranstaltungen "Theoretische Informatik und Logik" sowie "Formale Methoden der Informatik". Für Details zur Überprüfung der Voraussetzungen sei auf die homepage der Lehrveranstaltung verwiesen.