TI5503 Selected Topics in Programming Languages

Modulverantwortliche
  • Prof. Dr. Uwe Meyer
Lehrende
  • Björn Lötters
  • Prof. Dr. Uwe Meyer
Notwendige Voraussetzungen zur Teilnahme

PI5003 Programmiersprachen: Konzepte und Realisationen

Vorausgesetzte Module
Empfohlene Voraussetzungen zur Teilnahme

Keine

Kurzbeschreibung

Dieses Modul erklärt ausgewählte Themen aus dem Entwurf und der Implementierung von Programmiersprachen.

Inhalte
  • Nicht-Standard-Programmiersprachen und Programmierkonzepte
  • Logisches Schließen über Programme
  • Semantik-basierte Manipulation von Programmen
  • Typtheorie
Qualifikations- und Lernziele

Fachkompetenzen

  • Die Studierenden können die wichtigen Konzepte und Algorithmen zum Entwurf und der Implementierung von Programmiersprachen erklären und voneinander abgrenzen.
  • Sie können Techniken zum logischen Schließen über Programme unterscheiden und können diese anwenden.
  • Sie können Verfahren zur Implementierung und Transformation von Programmiersprachen und Programmen beurteilen.

Methodenkompetenzen (fachlich & überfachlich)

  • Die Studierenden können nicht-Standard-Programmiersprachen anwenden.
  • Sie sind in der Lage, Interpreter und Programmtransformatoren für einfache Programmiersprachen zu implementieren.

Sozialkompetenzen

  • Die Studierenden können die vorgestellten Grundlagen in Teamarbeit umsetzen und ihre Ergebnisse präsentieren.

Selbstkompetenzen

  • Die Studierenden können in der Projektarbeit ihren Implementierungsfortschritt reflektieren und ihre Arbeitsweise methodisch anpassen.
ECTS-Leistungspunkte (CrP)
  • 6 CrP
  • Arbeitsaufwand 180 Std.
  • Präsenzzeit 60 Std.
  • Selbststudium 120 Std.
Lehr- und Lernformen
  • 4 SWS
  • Seminaristischer Unterricht 4 SWS
Studiensemester
  • Informatik (M.Sc. 2022)
Dauer
1 Semester
Häufigkeit des Angebots
Einmal im Jahr
Unterrichtssprache
Deutsch
Bonuspunkte

Ja

Bonuspunkte werden gemäß § 9 (4) der Allgemeinen Bestimmungen vergeben. Art und Weise der Zusatzleistungen wird den Studierenden zu Veranstaltungsbeginn rechtzeitig und in geeigneter Art und Weise mitgeteilt.

Prüfungsleistungen

Prüfungsvorleistung:

Keine

Prüfungsleistung:

Projekt inkl. Präsentation der Projektergebnisse

Benotung
Die Bewertung des Moduls erfolgt gemäß §§ 9, ggf. 12 (Teilleistungen), ggf. 18 (Arbeiten, Kolloquien) der Allgemeinen Bestimmungen (Teil I der Prüfungsordnung).
Verwendbarkeit
Gemäß § 5 der Allgemeinen Bestimmungen (Teil I der Prüfungsordnung) Verwendbarkeit in allen Masterstudiengänge der THM möglich.
Literatur, Medien
  • Pierce, B. C.: Types and Programming Languages. The MIT Press.
  • Friedman, D. F.; Christiansen, D. T.: The little typer. The MIT Press.
  • Brady, E.: Type-driven development with Idris. Manning.
  • Selected research articles

Rechtliche Hinweise