Topics
description only available in german.
Material
| Lecture slides PDF |
| 14.04.2008 |
Literature |
Download
|
| 14.04.2008 |
Introduction |
Download
|
| 14.04.2008 |
Sampler of Approaches |
Download
|
| 14.04.2008 |
Satz von Rice (aus Schöning Theoretische Informatik) |
Download
|
| 25.04.2008 |
Dominance (Version 3)
|
Download
|
| 05.05.2008 |
Dataflow Analysis |
Download
|
| 09.05.2008 |
Verbandstheorie (Version 2)
|
Download
|
| 19.05.2008 |
Dataflow (nielson) |
Download
|
| 26.05.2008 |
proofs (nielson) |
Download
|
| 09.06.2008 |
Abstract Interpretation (Schmidt) |
Download
|
| 16.06.2008 |
SSA Form |
Download
|
| 01.07.2008 |
SSA Register Allocation |
Download
|
| 07.07.2008 |
Interprocedural Analysis (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.
Schedule
begin 14.04.2008,
end 14.07.2008
| Weekday |
Begin |
End |
Location |
| Monday |
9:45h |
11:15h |
SR -118 (50.34) |
Literature
Textbooks
s. Slides
Register Allocation
Personnel
