Ideas for Connecting Inductive Program Synthesis and Bidirectionalization
The paper is available via the ACM DL Author-ize feature:
| Author: | J. Voigtländer |
|---|---|
| Published: | In Workshop on Partial Evaluation and Program Manipulation (PEPM'12, acceptance rate 19/37), Philadelphia, Pennsylvania, Proceedings, pages 39-42, ACM, January 2012. |
| DOI: | 10.1145/2103746.2103757 |
| BibTeX: | Voi12a.bib |
| Abstract: | We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of the former. This research perspective does not present accomplished results, rather opening discussion and describing experiments designed to explore the potential of inductive program synthesis for bidirectionalization (the act of automatically producing a backwards from a forwards transformation), in particular to address the issue of integrating programmer intentions and expectations. |
| Download: | http://dl.acm.org/authorize?6544522 (free) |
| Slides: | Slides of my talk at the conference are here. |