Difference between revisions of "WG211/M18Glueck"
From WG 2.11
(Created page with "Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research...") |
m |
||
| (6 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | 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 | + | '''Metacomputation and Inversion - A Frontier of Program Generation''' by Robert Glück |
| + | |||
| + | 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 open questions about inverse interpretation and partial evaluation. | ||
Latest revision as of 19:03, 20 May 2018
Metacomputation and Inversion - A Frontier of Program Generation by Robert Glück
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 open questions about inverse interpretation and partial evaluation.
