Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science, 7844)

ISBN 10: 3642381960 / ISBN 13: 9783642381966

Published by Springer, 2013

About this Item

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA79636423819606

Bibliographic Details

• Title: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science, 7844)
• Publisher: Springer
• Publication Date: 2013
• Language: English
• ISBN 10: 3642381960
• ISBN 13: 9783642381966
• Binding: Paperback
• Condition: Like New
• Book Type: book

About this title

Synopsis

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.