HOME | ENGLISH | IMPRESSUM | KIT

Sprachtechnologie und Compiler

Themen

Künstliche Sprachen sind ein Standardinstrument der Informatik. Programmiersprachen sind natürlich das bekannteste Beispiel, aber auch Datenbanksprachen, XML, UML usw. bedürfen der Analyse, Interpretation und Übersetzung, bevor sie vom Rechner verstanden bzw ausgeführt werden können. Moderne softwaretechnische Verfahren wie Model Driven Architecture, automatische Refaktorisierung oder Software-Sicherheitsanalysen würde es ohne die zugrundeliegende Sprachtechnologie gar nicht geben.

Die Vorlesung behandelt ausführlich die grundlegenden Verfahren:

  • lexikalische Analyse
  • syntaktische Analyse
  • semantische Analyse
  • Codeerzeugung
  • Codeoptimierung
  • Laufzeitmechanismen
  • Werkzeuge

Veranstaltungen

Datum Ort Thema Unterlagen
21.10.2009 11:30hHS -101 Einleitung [PDF]
22.10.2009 15:45hHS -101 Lexikalische Analyse [PDF]
28.10.2009 11:30hHS -101 Lexikalische Analyse
29.10.2009 15:45hHS -101 Syntaktische Analyse [PDF, Stand: 17.11.2009]
04.11.2009 11:30hHS -101 Syntaktische Analyse
05.11.2009 15:45hSR 301 Syntaktische Analyse
11.11.2009 11:30hHS -101 Syntaktische Analyse
11.11.2009 14:00hHS -101 Syntaktische Analyse
18.11.2009 11:30hSR 131 Syntaktische Analyse
19.11.2009 15:45hHS -101 Syntaktische Analyse
25.11.2009 11:30hHS -101 Syntaktische Analyse
26.11.2009 15:45hHS -101 Attributierte Grammatiken,
Semantische Analyse
[PDF, Stand 8.12.2009]
02.12.2009 11:30hHS -101 Semantische Analyse [PDF, Stand: 9.12.2009]
03.12.2009 15:45hHS -101 Semantische Analyse
09.12.2009 11:30hHS -101 Semantische Analyse
10.12.2009 15:45hHS -101 Transformation [PDF] [PDF]
16.12.2009 11:30hHS -101 Transformation
17.12.2009 15:45hHS -101 Transformation
07.01.2010 15:45hHS -101 Transformation [PDF, Stand: 7.1.2010]
13.01.2010 11:30hHS -101 Codeerzeugung [PDF]
14.01.2010 15:45hHS -101 Codeerzeugung [PDF, Stand: 14.1.2010]
20.01.2010 11:30hHS -101 Architektur am Beispiel: Einführung in x86 [PDF]
27.01.2010 11:30hHS -101 Codeerzeugung
27.01.2010 14:00hHS -101 Registerzuteilung [PDF, Stand: 29.1.2010]
03.02.2010 11:30hHS -101 Optimierungen, Dominatoren [PDF] [PDF] [PDF]
Lehrveranstaltungen im Sommersemester 2010 [PDF]
04.02.2010 15:45hHS -101 SSA-Form [PDF]
10.02.2010 11:30hHS -101 Grundlagen der Datenflußanalyse [PDF]

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting