![[^]](IS.GIF){kind=small}
Inhaltsverzeichnis
![[+]](IL.GIF){kind=small}
Titel
![[+]](IR.GIF){kind=small}
Folie 1|
Inhaltsverzeichnis
Titel
Folie 1 |
Folienverzeichnis |
| Titel | Vortragstitel | Folie 8 | Berechnung der Menge poly |
| Folie 1 | Vortragsübersicht | Folie 9 | Übergangskomprimierung |
| Folie 2 | Einleitung und Zielsetzung | Folie 10 | Bindezeitanalyse |
| Folie 3 | Flußdiagrammsprache | Folie 11 | Futamura-Projektionen |
| Folie 4 | Programmspezialisierung | Folie 12 | Beweis der 1. Futamura-Projektion |
| Folie 5 | Schritte der Spezialisierung | Folie 13 | Offene Fragestellungen |
| Folie 6 | Menge der Programmpunkte | Folie 14 | Zusammenfassung |
| Folie 7 | Codeerzeugung |