Transformation f. Applikation

CPS[ (app f a1 ... an) ] =
(abs (k) 
  (app CPS[f] (abs (i_0) 
    (app CPS[a1] (abs (i_1) 
      ...
        (app CPS[an] (abs (i_n)
           (app i_0 i_1 ... i_n k)))...)))))

dabei sind k, i_0, .. i_n frische Namen (= die im gesamten Ausdruck nicht vorkommen)


Ü: ähnlich für Primop (Unterschied?)



Johannes Waldmann 2012-01-30