Logic-Based Program Synthesis and Transformation
Download or Read eBook Logic-Based Program Synthesis and Transformation PDF written by Elvira Albert and published by Springer. This book was released on 2013-04-17 with total page 252 pages. Available in PDF, EPUB and Kindle.
Author | : Elvira Albert |
Publisher | : Springer |
Total Pages | : 252 |
Release | : 2013-04-17 |
ISBN-10 | : 9783642381973 |
ISBN-13 | : 3642381979 |
Rating | : 4/5 (73 Downloads) |
Book Synopsis Logic-Based Program Synthesis and Transformation by : Elvira Albert
Book excerpt: 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.