[^]Übersicht [+]Folie 1 [+]Folie 3 Einleitung und Zielsetzung
 
 
  • Historie
 
 
  • Partielle Auswertung
    • Theoretische Grundlage:
      s-m-n-Theorem und Curryfizierung
    • Konstruktion eines Programms p' aus einem Programm p, wobei gilt:
       
      p'(u1,u2, ... um) = p(d1,d2, ... dn,u1,u2, ... um)
 
 
  • Zielsetzung
    1. Vollautomatische Methoden
    2. Compilierung durch Spezialisierung eines Interpreters
    3. Automatische Erzeugung von Compilern

Copyright © 1998 Ulrich Telle - Letzte Änderung: 17. Februar 1998