Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Logic-Based Program Synthesis and Transformation by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319178226
Publisher: Springer International Publishing Publication: April 22, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319178226
Publisher: Springer International Publishing
Publication: April 22, 2015
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

More books from Springer International Publishing

Cover of the book The Reality for Agricultural Economics Within the European Union by
Cover of the book The Great Awakening and Southern Backcountry Revolutionaries by
Cover of the book R for Marketing Research and Analytics by
Cover of the book Rabbi Akiva's Philosophy of Love by
Cover of the book Computer Vision, Imaging and Computer Graphics – Theory and Applications by
Cover of the book Immunopharmacology and Inflammation by
Cover of the book Lucky Boy in the Lucky Country by
Cover of the book Hadamard States from Light-like Hypersurfaces by
Cover of the book The New Music Industries by
Cover of the book Why Peacekeeping Fails by
Cover of the book Reading Books and Prints as Cultural Objects by
Cover of the book Perspectives on Contemporary Irish Theatre by
Cover of the book Rare Tumors of the Thyroid Gland by
Cover of the book The Political Economy of Anti-dumping Protection by
Cover of the book Percutaneous Interventions for Structural Heart Disease by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy