The book is currently out of stock
Logic-based program synthesis and transformation
Authors
Parameters
More about the book
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.
Book purchase
Logic-based program synthesis and transformation, Elvira Albert
- Language
- Released
- 2013
We’ll notify you via email once we track it down.
Payment methods
- Title
- Logic-based program synthesis and transformation
- Language
- English
- Authors
- Elvira Albert
- Publisher
- Springer
- Released
- 2013
- ISBN10
- 3642381960
- ISBN13
- 9783642381966
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- 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.