| | |
| Title: | Partielle Auswertung einer einfachen imperativen Sprache | |
| Home deutsch | ||
| ||
 |
![[^]](Images/IS.GIF){kind=small} Inhaltsverzeichnis
![[+]](Images/IL.GIF){kind=small} Titel
![[+]](Images/IR.GIF){kind=small} 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 |
Back to the topic sites:
ScientificPublication.com/Startseite/Informatik
StudyPaper.com/Startseite/Computer/Informatik
External Links to this site are permitted without prior consent.
