The Lambda Abstraction Strategy for Program Derivation
Alberto Pettorossi, Andrzej Skowron · Fundamenta Informaticae · 1989
In a previous paper of ours [Pettorossi-Skowron 87] we have introduced the higher order generalization strategy (also called lambda abstraction strategy) and we have indicated through some examples its use for the automatic derivation of programs. Here we study that strategy in more detail and we analyze its capabilities for obtaining highly efficient programs, considering also some cases in which other known strategies for program development do not work.