Ideas for connecting inductive program synthesis and bidirectionalization
暂无分享,去创建一个
[1] Ute Schmid,et al. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach , 2006, J. Mach. Learn. Res..
[2] Sumit Gulwani,et al. Automating string processing in spreadsheets using input-output examples , 2011, POPL '11.
[3] Susumu Katayama,et al. Recent Improvements of MagicHaskeller , 2009, AAIP.
[4] Krzysztof Czarnecki,et al. Bidirectional Transformations: A Cross-Discipline Perspective GRACE Meeting Notes, State of the Art, and Outlook , 2009 .
[5] Nicolas Spyratos,et al. Update semantics of relational views , 1981, TODS.
[6] Benjamin C. Pierce,et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.
[7] Martin Hofmann,et al. IGOR2 - an analytical inductive functional programming system: tool demo , 2010, PEPM '10.
[8] Ralf Lämmel,et al. Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.
[9] Rastislav Bodík. Software synthesis with sketching , 2008, PEPM '08.
[10] Meng Wang,et al. Combining syntactic and semantic bidirectionalization , 2010, ICFP '10.
[11] Kazutaka Matsuda,et al. Bidirectionalization transformation based on automatic derivation of view complement functions , 2007, ICFP '07.
[12] Susumu Katayama. Systematic search for lambda expressions , 2005, Trends in Functional Programming.
[13] Janis Voigtländer. Bidirectionalization for free! (Pearl) , 2009, POPL '09.