Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / Moreno Falaschi

(ed.)