TY  - BOOK
AU  - Alpuente,María
ED  - SpringerLink (Online service)
TI  - Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642205514
AV  - QA76.758 
U1  - 005.1 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Artificial intelligence
KW  - Algorithms
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Artificial Intelligence (incl. Robotics)
N2  - This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm
UR  - http://dx.doi.org/10.1007/978-3-642-20551-4
ER  -