ACM Workshop on Strategic Directions in Computing Research, 1996. It should encourage engineers to write software components and applications that are generic, letting partial evaluation take care of performance issues. Program adaptation based on program transformation . Program adaptation based on program transformation . Position paper for the MIT Workshop on Strategic Directions of Computing Research, June 1996.
Partial evaluation is a technique for program specialization.
Thus, partial evaluation realizes program specialization where the context of use is given by the value of the static input. Program adaptation based on program transformation . This claim is validated by five case studies. Partial evaluation is well suited for control integration. It also addresses the safety and security aspects of data integration.