Neuigkeiten
Liebe Compiler-Interessierte,
"Sprachtechnologie und Compiler" wird in diesem Sommersemester nicht als Live-Veranstaltung stattfinden.
Die Veranstaltung wird als Live-Veranstaltung wieder im Sommersemester 2021 stattfinden.
Auch online findet "Sprachtechnologie und Compiler in diesem Sommersemester nicht statt.
Denn wir glauben, dass ein Online-Format diese Vorlesung beschädigen würde.
Für besonders Interessierte bieten wir in diesem Sommersemester Selbststudium mit Online-Betreuung an. Eine offizielle Begrüßung mit Live-Stream auf Zoom findet am nächsten Mittwoch, 29.4., um 11:30 Uhr statt (Link siehe ILIAS).
Die Vorlesungsfolien werden ab nächster Woche (KW 18) nach und nach veröffentlicht. Ergänzend sollte ein Lehrbuch verwendet werden, z.B. das "Drachenbuch" und/oder die Buchreihe "Compiler Design" (in der Reihenfolge 1, 2, 3). Fragen zum Stoff können im ILIAS-Forum stellen. Die betreuenden Mitarbeiter Sebastian Graf und Andreas Fried beantworten Ihnen gerne ihre Fragen.
Vielen Dank für Ihr Verständnis
Prof. Dr. G. Snelting
Inhalt
Künstliche Sprachen sind ein Standardinstrument der Informatik. Programmiersprachen sind natürlich das bekannteste Beispiel, aber auch Datenbanksprachen, HTML, XML, usw. bedürfen der Analyse, Interpretation und Übersetzung, bevor sie vom Rechner verstanden bzw. ausgeführt werden können.
Die Vorlesung behandelt ausführlich die grundlegenden Verfahren:
- Lexikalische Analyse
- Syntaktische Analyse
- Semantische Analyse
- Codeerzeugung
- Programmanalyse
- Software-Sicherheitsanalyse
- Codeoptimierung
- Laufzeitmechanismen
- Werkzeuge
Das in dieser Vorlesung vermittelte Wissen wird in den zur Vorlesung gehörenden Übungen vertieft.
Vorlesung
Die Vorlesung hat den Umfang von 4 SWS + 2 SWS Übung. Die Veranstaltung kann im Rahmen des Master-Moduls "Sprachtechnologie und Compiler" (8 ECTS) geprüft werden. Die wöchentlichen Termine finden während folgender Zeiträume statt:
Termine
vom 20.04.2020, bis 27.07.2018
| Tag | Beginn | Ende | Ort |
|---|---|---|---|
| Mittwoch | 11:30h | 13:00h | HS -102, Geb. 50.34 |
| Donnerstag | 15:45h | 17:15h | HS -102, Geb. 50.34 |
Unterlagen
Das Vorlesungsmaterial darf ausschließlich zu Zwecken genutzt werden, die in direktem Zusammenhang mit der Veranstaltung Sprachtechnologie und Compiler stehen. Insbesondere die Weitergabe des hier zur Verfügung gestellten Materials an Dritte ist nicht gestattet. Vorlesungsfolien, Musterlösungen und hier veröffentlichter Quell-Code unterliegen dem Copyright des Lehrstuhls Programmierparadigmen (IPD Snelting).
Das Material kann nur aus dem Uni-Netz heruntergeladen werden. Verwenden Sie bitte den VPN-Client des SCC, falls Sie von außerhalb Zugriff benötigen.
Termine
| Woche | Thema | Unterlagen | Updates |
|---|---|---|---|
| 27.04.2020 – 31.04.2020 | Einleitung | Einleitung, | |
| 27.04.2020 – 31.04.2020 | Lexikalische Analyse | Lexikalische Analyse, |
06.05.2020
|
| 27.04.2020 – 31.04.2020 | Grundlagen syntaktischer Analyse | Syntaktische Analyse | |
| 04.05.2020 – 08.05.2020 | (S)LL-Eigenschaften | ||
| 11.05.2020 – 15.05.2020 | SLL-Parser mit rekursivem Abstieg | ||
| 18.05.2020 – 22.05.2020 | LR-, SLR- und LALR-Parser | ||
| 25.05.2020 – 29.05.2020 | LR-Konflikte, Attributgrammatiken | Semantische Analyse |
10.06.2020
|
| 02.06.2020 – 05.06.2020 | Namensanalyse, Kontrollfluss | Transformation | |
| 08.06.2020 – 10.06.2020 | Zwischensprachen | ||
| 15.06.2020 – 19.06.2020 | Funktionsaufruf, Verbandstheorie | Analyse und Optimierung | |
| 22.06.2020 – 26.06.2020 | Fixpunktiteration, Datenflussanalyse | ||
| 29.06.2020 – 03.07.2020 | SSA-Form | ||
| 06.07.2020 – 10.07.2020 | Informationsflusskontrolle | Informationsflusskontrolle |
08.07.2020
|
| 13.07.2020 – 17.07.2020 | Befehlsauswahl, Linear Scan |
[x86-Assembler] Befehlsauswahl Registerzuteilung |
22.07.2020
|
| 20.07.2020 – 24.07.2020 | Chaitin-Briggs, Befehlsanordnung |
Befehlsanordnung [Speicherverwaltung] |
Veranstalter
| Lehrstuhlinhaber |
|---|
| Prof. Gregor Snelting |
| Wissenschaftliche Mitarbeiter |
|---|
| Sebastian Graf |
| Ehemalige Mitarbeiter |
|---|
| M.Sc. Andreas Fried |