Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Pape by Germ VidalLogic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Pape by Germ Vidal

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense…

byGerm Vidal

Paperback | October 20, 2012

Pricing and Purchase Info

$99.50

Earn 498 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense…Format:PaperbackDimensions:254 pagesPublished:October 20, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642322107

ISBN - 13:9783642322105

Look for similar items by category:

Reviews

Table of Contents

Specification.-synthesis.-verification.-analysis.-optimization.-specialization.-security.-certification.-applications and tools.-program/model manipulation.- transformation techniques for any programming language paradigm.