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 |