Semantik von Programmiersprachen
| Semantik von Programmiersprachen | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Organisationseinheit Freie Universität Berlin/Mathematik und Informatik/Informatik |
|||||||||||
Bereich
|
|||||||||||
| Zugangsvoraussetzungen Keine |
|||||||||||
| Qualifikationsziele Die Studentinnen und Studenten formalisieren informelle Beschreibungen programmiersprachlicher Konzepte in geeigneter Weise und können sicher mit solchen Formalisierungen arbeiten. |
|||||||||||
| Inhalte Das Modul vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche behandelt, die bei der denotationellen Methode Anwendung findet. Danach wird schrittweise eine umfassende, imperative Programmiersprache entwickelt und die Semantik der einzelnen Sprachelemente denotationell spezifiziert. Dabei wird die Fortsetzungstechnik (continuation semantics) systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Dabei wird die besondere Rolle der Verifikation von Programmeigenschaften und der semantikerhaltenden Transformationen hervorgehoben. |
|||||||||||
| Lehr- und Lernformen | Aktive Teilnahme | ||||||||||
| Vorlesung 2 SWS Teilnahme empfohlen |
Regelmäßige, schriftliche Bearbeitung der Übungsblätter Zwei mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung |
||||||||||
| Übung 2 SWS Teilnahme empfohlen |
Regelmäßige, schriftliche Bearbeitung der Übungsblätter Zwei mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung |
||||||||||
Aufwand
|
|||||||||||
| Modulprüfung Klausur (90 Minuten), die Klausur kann auch in Form einer elektronischen Prüfungsleistung (90 Minuten) durchgeführt werden, oder mündliche Prüfung (20 bis 25 Minuten) |
|||||||||||
| Differenzierte Bewertung differenzierte Bewertung |
|||||||||||
| Modulsprache Deutsch (ggf. Englisch) |
|||||||||||
| Arbeitsaufwand (Stunden) 150 |
|||||||||||
| Leistungspunkte (LP) 5 |
|||||||||||
| Dauer des Moduls Ein Semester |
|||||||||||
| Häufigkeit des Angebots Zweijährlich |
|||||||||||
| Verwendbarkeit Masterstudiengang Informatik |
|||||||||||