• Logic-Based Program Synthesis...

*Result*: Logic-Based Program Synthesis and Transformation

Title:
Logic-Based Program Synthesis and Transformation
Authors:
Germán Vidal
Resource Type:
eBook.
Subjects:
Conference proceedings, Logic programming--Congresses, Program transformation (Computer programming)--C, Computational complexity--Congresses, Computational complexity, Logic programming, Program transformation (Computer programming)
Categories:
COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics
Database:
eBook Index

*Further Information*

*This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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.*