Ideas for connecting inductive program synthesis and bidirectionalization

11 years 12 months ago

Download www.iai.uni-bonn.de

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 [Artiﬁcial Intelligence]:

Janis Voigtländer

Real-time Traffic