Program Improvement by Internal Specialization

Abstract

We investigate the specialization of programs by means of program transformation techniques. There are two goals of this investigation: the construction of program synthesis tools, and a better understanding of the development of algorithms.By extending an ordinary language of recursion equations to include a generalized procedure construct (the expression… (More)
DOI: 10.1145/567532.567536

Topics

  • Presentations referencing similar topics