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. Program adaptation based on program transformation . No context found. Program Adaptation based on Program Transformation . No context found.