Logic-based program synthesis and transformation: 25th international symposium, lopstr 2015, siena, italy, july 13-15, 2015. revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319274355
Date de publication :
17 déc. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.