The Lambda Abstraction Strategy for Program Derivation

Article type: Research Article

Authors: Pettorossi, Alberto^a | Skowron, Andrzej^b

Affiliations: [a] Department of Electronics, University of Rome Tor Vergata, 1-00173 Rome, Italy | [b] Institute of Mathematics, Warsaw University, 00-901 Warsaw, Poland

Abstract: 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.

DOI: 10.3233/FI-1989-12407

Journal: Fundamenta Informaticae, vol. 12, no. 4, pp. 541-561, 1989