Fachpraktikum Angewandte Semantik
Thema
Bei einigen Methoden der formalen Semantik ist es relativ einfach möglich,
Spezifikationen von Programmiersprachen in prototypische Sprachimplementierungen
(Interpreter) umzusetzen. In diesem Praktikum werden dazu zwei Beispiele betrachtet:
Semantikspezifikationen nach der Methode der Strukturellen Operationellen Semantik
sind eng verwandt mit logischen Programmen und Sprachbeschreibungen nach der
denotationellen Methode lassen sich einfach in funktionale Programme übertragen.
Als logische Programmiersprache wird voraussichtlich Gödel und als funktionale
Programmiersprache voraussichtlich Haskell verwendet werden. Im Rahmen des
Praktikums werden Einführungen in diese Programmiersprachen gegeben. Es wird auch
die Verwendung von Methoden und Werkzeugen zur Syntaxanalyse (z.B. Parser-
Generatoren) geübt.
Voraussetzungen
Kenntnisse entsprechend der Vorlesung "Formale Semantik (von
Programmiersprachen)" sind unabdingbare Voraussetzung für die Teilnahme an
diesem Praktikum. Grundkenntnisse aus dem Compilerbau (z.B. aus der Vorlesung SOFA,
Compilerbau I oder Syntaxanalyse) sollten außerdem vorhanden sein.
Anmeldung
Bitte in die Anmeldeliste am Schwarzen Brett der Abteilung Programmiersprachen
eintragen, maximal 12 Teilnehmer
Termin
Do. 15.00 16.30 Uhr, Raum 1.039, ab 19. Oktober 1995
Betreuer
Georg Schied, Rainer Koschke