HOME | ENGLISH | IMPRESSUM | KIT

Sprachtechnologie und Compiler

Neuigkeiten

6.2.2018 Die erste Übung findet am 23.4.2018 statt.

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 16.04.2018, bis 20.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

Datum Uhrzeit Ort Thema Unterlagen Stand
18.4.201811:30HS -102 Einleitung und lexikalische Analyse pdf, pdf 14.05.2018
19.4.201815:45HS -102 Lexikalische Analyse
25.4.201811:30HS -102 Syntaktische Analyse pdf 17.05.2018
26.4.201815:45HS -102 Syntaktische Analyse
2.5.201811:30HS -102 Syntaktische Analyse
3.5.201815:45HS -102 Syntaktische Analyse
9.5.201811:30HS -102 Syntaktische Analyse
10.5.201815:45 Christi Himmelfahrt
16.5.201811:30HS -102 Syntaktische Analyse H. Dieterichs' Beweis zu LR-Definitionen
17.5.201815:45HS -102 Semantische Analyse pdf 28.05.2018
23.5.201811:30HS -102 Semantische Analyse
24.5.201815:45HS -102 Semantische Analyse
30.5.201811:30HS -102 Transformation pdf 07.06.2018
31.5.201815:45 Fronleichnam
6.6.201811:30HS -102 Transformation
7.6.201815:45HS -102 Transformation
13.6.201811:30HS -102 Analyse und Optimierung pdf 06.07.2018
14.6.201815:45HS -102 Analyse und Optimierung
20.6.201811:30HS -102 Analyse und Optimierung
21.6.201815:45HS -102 Analyse und Optimierung
27.6.201811:30HS -102 Analyse und Optimierung
28.6.201815:45HS -102 Extraübung: x86-Assembler pdf 28.06.2018
4.7.201811:30HS -102 IFC pdf 06.07.2018
5.7.201815:45HS -102 Befehlsauswahl pdf 05.07.2018
11.7.201811:30HS -102 Registerzuteilung pdf 12.07.2018
12.7.201815:45HS -102 Befehlsanordnung pdf 12.07.2018
18.7.201811:30HS -102 Speicherverwaltung pdf 12.07.2018
19.7.201815:45HS -102 Fällt aus

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting
Wissenschaftliche Mitarbeiter
Andreas Fried
Sebastian Graf