[^]Übersicht [+]Folie 3 [+]Folie 5 Programmspezialisierung
 
  • Residuales Programm

    ||p||L [d1, d2] = ||r||L d2

 
  • Programmspezialisierer (mix-Gleichung)

    ||p||L [d1, d2] = ||(||mix||L [p, d1])||L d2

 
  • Beispiel
    Programm: while name ¹ hd(namelist) do
    begin
      valuelist := tl(valuelist);
      namelist := tl(namelist)
    end;
    value := hd(valuelist);
    Eingabe:name, namelist und valuelist
    Anfangswerte:name = z und namelist = (x y z),
    [valuelist unbekannt]

    Þ valuelist := tl(valuelist);
    valuelist := tl(valuelist);
    value := hd(valuelist);

    Mögliche Optimierung:

     

    value := hd(tl(tl(valuelist)));


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