There are several areas where partial evaluation technology could be improved:
(lambda (x y z) (lambda (x y z) (+ (+ x y) z)) (+ x (+ y z)))
One way to avoid this is to require that recursively unfolding a function call must make a constant argument smaller according to a well-founded ordering. Branches of dynamic if statements should not be unfolded.
Contents    Page-10    Prev    Next    Page+10    Index