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]:

• Type: Journal
• Year: 2012
• Where: PEPM
• Authors: Janis Voigtländer
• Keywords: PEPM 2012, Problematic Aspects, Program Synthesis, Research Perspective, Software Engineering