Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / Moreno Falaschi (ed.). [Cham] : Springer, 2015