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
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: Projektarbeit oder Hausübungen (Art der Vorleistung und Anzahl der Hausübungen wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)

Prüfungsleistung: Mündliche Prüfung oder Projektarbeit mit Präsentation und schriftlicher Ausarbeitung (zusammen 100%) (Art des Leistungsnachweises wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)

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