Arbeitsgemeinschaft Informatik, Logik und Mathematik (AG Informatik) (080360)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Arbeitsgemeinschaft, 2 SWS
Zeit und Ort: Blockveranstaltung 4.5.2023-28.9.2023 Do 12:00 - 14:00, CAP4 - R.715
vom 9.4.2023 bis zum 9.7.2023
- Zusätzliche Informationen
- Schlagwörter: Arbeitsgemeinschaft
Erwartete Teilnehmerzahl: 20
Inf-AS-PS: Masterabschlussseminar - Programmiersprachen (MASem) (080030)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Oberseminar, 2 SWS, *Auch Diplomandenseminar*
Zeit und Ort: Mi 8:30 - 12:00, CAP4 - R.715 (außer Mi 5.4.2023, Mi 31.5.2023, Mi 12.7.2023)
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
Inf-CB: Übersetzerbau (ÜbersBau) (080132)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Zeit und Ort: Mo 10:15 - 11:45, CAP3 - Hörsaal 1; Di 16:15 - 17:45, CAP3 - Hörsaal 1
vom 9.4.2023 bis zum 9.7.2023
- Voraussetzungen / Organisatorisches
Studierende der Masterstudiengänge Informatik und Wirtschaftsinformatik
sowie Studierende mit Nebenfach Informatik
Voraussetzungen: Grundsstudium
- Inhalt
- Die Übersetzung von Programmiersprachen ist eine wohldefinierte
aber dennoch komplexe Aufgabe. Zur Beherrschung dieser Komplexität
wurde eine Zerlegung in einzelne Übersetzungsaufgaben entwickelt, die heute in dieser oder ähnlicher Form in den meisten Übersetzern verwendet wird. In dieser Vorlesung werden die einzelnen Übersetzungsaufgaben und die bekannten Lösungsansätze dazu vorgestellt.
Im Einzelnen werden behandelt:
- Programmiersprachen, Interpreter, Übersetzer
- Lexikalische Analyse
- Syntaktische Analyse
- Semantische Analyse
- Codeerzeugung
- Empfohlene Literatur
- A. Aho, R. Sethi, J.Ullman: Compilerbau (Teil 1 + 2), Oldenbourg, 1999
- A. Aho, M. Lam, R. Sethi, J.Ullman: Compilers: principles, techniques, and tools (2nd ed.), Pearson Education, 2007
- A. Appel: Modern compiler implementation in ML, Cambridge UP, 1997
- R.H. Güting, M. Erwing: Übersetzerbau, Springer 1999
- W. Waite, G. Goos: Compiler Construction, Springer, 1984
- R. Wilhelm, D. Maurer: Übersetzerbau: Theorie, Konstruktion, Generierung, Springer, 1992
- N. Wirth: Grundlagen und Techniken des Compilerbaus, Oldenbourg, 2008
Weitere Literatur wird in der Vorlesung bekanntgegeben.
- Zusätzliche Informationen
- Schlagwörter: Uebersetzerkonstruktion
Erwartete Teilnehmerzahl: 40
www: https://www.informatik.uni-kiel.de/~mh/lehre/cb23/
- Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Übersetzerbau (080135)
-
Dozent/in: Niels Bunkenburg, M.Sc.
Zeit und Ort: Do 10:15 - 11:45, CAP3 - Hörsaal 1
Inf-MPPS: Masterprojekt - Programmiersprachen und Programmiersysteme (Inf-MPPS) (080342)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 10
Zeit und Ort: n.V.
- Voraussetzungen / Organisatorisches
- In der Regel wird der Besuch einer vorbereitenden Vorlesung aus dem Bereich der Programmiersprachen vorausgesetzt.
- Inhalt
- Kurzfassung:
In diesem Praktikum werden wechselnde Themenstellungen aus dem Bereich der modernen Programmiersprachen behandelt, typischerweise im Kontext von Sprachimplementierungen, Spracherweiterungen oder Tools zur statischen und dynamischen Analyse von Programmen. Das Praktikum findet in der Regel im Anschluss an eine vorbereitende Vorlesung statt.
Lernziele:
Die Teilnehmer sollen lernen, ein größeres, zusammenhängendes Projekt aus dem Fachgebiet in begrenzter Zeit zu bearbeiten. Dabei stehen neben den fachlichen Fragestellungen immer auch das Erlernen von Teamarbeit im Vordergrund.
Lehrinhalte:
Vertiefende Erkenntnisse aus den Bereichen Compilerbau, moderne Programmiersprachenkonzepten und Projektarbeit.
Prüfungsleistung:
Praktikumspräsentation und mündliche Prüfung.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 12
Inf-MS-PS: Masterseminar - Programmiersprachen und Programmiersysteme (Inf_MSPS) (080301)
- Dozentinnen/Dozenten
- Prof. Dr. Michael Hanus, Priv.-Doz. Dr. Frank Huch
- Angaben
- Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 5, Die Veranstaltung richtet sich an Studierende der von Prof. Hanus oder Dr. Huch betreuten Masterprogramme. Interessierte Studierende sollten sich wegen eines Seminarthemas direkt an Prof. Hanus oder Dr. Huch wenden.
Zeit und Ort: Mi 8:30 - 12:00, CAP4 - R.715 (außer Mi 5.4.2023, Mi 31.5.2023, Mi 12.7.2023)
- Voraussetzungen / Organisatorisches
- Grundkenntnisse der Programmiersprachen und Programmierparadigmen.
- Inhalt
- In diesem Seminar werden aktuelle Themen und neuere Entwicklungen im Bereich der Programmiersprachen und und der zugehörigen Programmiersysteme behandelt. Dazu gehören z.B. Konzepte für anwendungsspezifische Sprachen, Implementierungstechniken oder Programmierumgebungen.
- Empfohlene Literatur
- Die Literatur zu den einzelnen Themen wird individuell bekannt gegeben.
|
|