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 Discrete–Time Stochastic Control and Dynamic Potential Games by
Cover of the book The Macroeconomics of Corruption by
Cover of the book Obesity and Diabetes by
Cover of the book Neurodegenerative Diseases by
Cover of the book Science Fiction and the Moral Imagination by
Cover of the book Reviews of Environmental Contamination and Toxicology by
Cover of the book Resource Management for Internet of Things by
Cover of the book Information and Communication Technologies for Ageing Well and e-Health by
Cover of the book Combinatorial Methods and Models by
Cover of the book Transplantation Imaging by
Cover of the book Entrepreneurship in Transition Economies by
Cover of the book Fuzzy Sets-Based Methods and Techniques for Modern Analytics by
Cover of the book Abduction in Context by
Cover of the book Practical Issues of Intelligent Innovations by
Cover of the book Technology and the Insurance Industry 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