Sciweavers

Share
PEPM
2012
ACM

Ideas for connecting inductive program synthesis and bidirectionalization

7 years 1 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
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. Categories and Subject Descriptors I.2.2 [Artificial Intelligence]:
Janis Voigtländer
Added 25 Apr 2012
Updated 25 Apr 2012
Type Journal
Year 2012
Where PEPM
Authors Janis Voigtländer
Comments (0)
books