Logic-based Program Synthesis And Transformation: 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers by Moreno FalaschiLogic-based Program Synthesis And Transformation: 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers by Moreno Falaschi

Logic-based Program Synthesis And Transformation: 25th International Symposium, Lopstr 2015, Siena…

byMoreno Falaschi

Paperback | December 17, 2015

Pricing and Purchase Info

$81.74 online 
$96.95 list price save 15%
Earn 409 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 post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.

The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Title:Logic-based Program Synthesis And Transformation: 25th International Symposium, Lopstr 2015, Siena…Format:PaperbackDimensions:385 pages, 23.5 × 15.5 × 0.02 inPublished:December 17, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:331927435X

ISBN - 13:9783319274355

Look for similar items by category:

Reviews

Table of Contents

Semantics of Logic Languages.- Ecient compilation of functional logic programs.- Types and security.- Optimization.- Static analysis.- Automated Verication.- Program debugging and slicing.- Smart Environments.- Program Transformation.- Constraint Solving and Programming.