Semantics of Programming Languages: Concepts and Comparisons
Semantik von Programmiersprachen: Konzepte und Vergleiche
8 CPirregularlyDEno longer offered
Prerequisites
Recommended, as written
- Allgemeine Kenntnisse zur Programmierung in höheren Programmiersprachen. - Kenntnis des Stoffes von Modul 12-1-01: „Algorithmieren und Programmieren.“.
Contents
- Grundlegende Programmierparadigmen und íhre Semantik: imperative, funktionale, logische. - Arten der Semantik-Beschreibung und ihre Eignung hinsichtlich der formalen Verifikation: operational, denotational, axiomatisch. - Vergleich von Programmiersprachen hinsichtlich Typen und Klassen, Modularisierung und Kapselung, Funktionen und Bindungen, Steuerstrukturen. - Einführung in die Domain-Theorie.
Learning outcomes
Die Studierenden erhalten einen Einblick in verschiedene semantische Konzepte von Programmiersprachen und in Formen der Semantik-Beschreibung. Damit werden sie befähigt, die Konzepte hinsichtlich ihrer Nutzbarkeit und ihrer Grenzen zu bewerten sowie eigene Forschungsbeiträge auf diesem Gebiet, zum Beispiel beim Entwurf von Sprachen, zu leisten.
Assessment
Prüfungsgespräch, mündlich
Literature (1)
- Werden zu Beginn der Lehrveranstaltung ausgegeben.
Remarks
- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang IMT Master, Komplex „Methodische Grundlagen"
Source: BTU's module description · retrieved 15 Oct 2026Original