On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M18Glueck: Difference between revisions
From WG 2.11
Jump to navigationJump to search
mNo edit summary |
mNo edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
'''Metacomputation and Inversion - | '''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. | 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 20: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.
