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
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..." |
No edit summary |
||
| 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 | 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. | ||
Revision as of 19:55, 20 May 2018
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.
