WG211/M18Glueck

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with inverse computation and partial evaluation.