Semantics of Programming Languages: Concepts and Comparisons
Semantik von Programmiersprachen: Konzepte und Vergleiche
8 LPunregelmäßigDEwird nicht mehr angeboten
Voraussetzungen
Empfohlen, im Wortlaut
- Allgemeine Kenntnisse zur Programmierung in höheren Programmiersprachen. - Kenntnis des Stoffes von Modul 12-1-01: „Algorithmieren und Programmieren.“.
Inhalte
- 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.
Lernziele
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.
Prüfungsleistung
Prüfungsgespräch, mündlich
Literatur (1)
- Werden zu Beginn der Lehrveranstaltung ausgegeben.
Bemerkungen
- 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"
Quelle: Modulbeschreibung der BTU · abgerufen 15.10.2026Original