Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers: 9527 (Lecture Notes in Computer Science)

by Moreno Falaschi (Editor)

• New

  Paperback
  2016

  $60.90

  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.