Partielle Auswertung einer imperativen Sprache, Folie 13: Offene Fragestellungen
[^]Übersicht [+]Folie 12 [+]Folie 14 Offene Fragestellungen
 
  • Terminierung
 
 
  • Endlichkeit der Menge der spezialisierten Programmpunkte
 
   ./. 
  • Online/Offline-Strategien
Copyright © 1998 Ulrich Telle - Letzte Änderung: 17. Februar 1998, Impressum