Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers By: Elvira Albert Publisher: Springer Print ISBN: 9783642381966, 3642381960 eText ISBN: 9783642381973, 3642381979 Copyright year: 2013 Format: PDF Available from $ 69.99 USD SKU: 9783642381973 This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm. SKU: 9783642381966 Download now: https://ebookscoffee.sellpass.io/products/LogicBased-Program-Synthesis-and-Transformation
