Themen
- Ausgewählte Kapitel aus dem Übersetzerbau (Fortführung von Übersetzerbau im WS)
- Fortgeschrittene Programmanalysetechniken: Dominanz, Datenfluss, Programmslicing, Abstrakte Interpretation, Interprozedurale Analyse
- Modelierung von Speicherzugriffen und Backends in der SSA-Form
- Registerzuteilung auf SSA-Form Programmen
- Cache-Optimierungen
- Schleifentransformationen
Unterlagen
| Vorlesungsfolien PDF |
| 14.04.2008 |
Literatur |
Download
|
| 14.04.2008 |
Einführung |
Download
|
| 14.04.2008 |
Überblick Programmanalyse |
Download
|
| 14.04.2008 |
Satz von Rice (aus Schöning Theoretische Informatik) |
Download
|
| 25.04.2008 |
Dominanz (Version 3)
|
Download
|
| 05.05.2008 |
Datenflussanalyse |
Download
|
| 09.05.2008 |
Verbandstheorie (Version 2)
|
Download
|
| 19.05.2008 |
Datenfluss (nielson) |
Download
|
| 26.05.2008 |
Beweise Live Variables und MOP=MFP (aus Principles of Program Analysis) |
Download
|
| 09.06.2008 |
Abstrakte Interpretation (Schmidt) |
Download
|
| 16.06.2008 |
SSA Form |
Download
|
| 01.07.2008 |
SSA Registerzuteilung |
Download
|
| 07.07.2008 |
Interprozedurale Analyse (Cooper/Torczon) |
Download
|
| 14.07.2008 |
JVM, Garbage Collection |
Download
|
Einige der Materialien sind nur innerhalb des Universitätsnetzwerks
zugänglich. Um auf das Material von zu Hause zuzugreifen kann man sich mit
seinem Rechenzentrums-Account einen VPN-Tunnel einrichten.
Termin
vom 14.04.2008,
bis 14.07.2008
| Tag |
Beginn |
Ende |
Ort |
| Montag |
9:45h |
11:15h |
SR -118 (50.34) |
Literatur
Lehrbücher
s. Slides
Registerallokation
Veranstalter
