Program adaptation and program transformation

Library software should be adaptable in order to be efficient for use in production programs. This report discusses the automatic generation of an executable program from a high-level abstract specification; in the process, the generated program can be tailored to the program environment in which it will be used. Principles behind program adaptation and transformations (rewrite rules that manipulate the nontextual representation of the computer program) are given. (RWR)