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 Fundamentals of Computation Theory by
Cover of the book Calculations on nonlinear optical properties for large systems by
Cover of the book Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction by
Cover of the book Advanced Materials by
Cover of the book New Perspectives on the History of Political Economy by
Cover of the book Advances in Internetworking, Data & Web Technologies by
Cover of the book Self-Organizing Migrating Algorithm by
Cover of the book Intelligent Scheduling of Robotic Flexible Assembly Cells by
Cover of the book Clinical Methods in Medical Family Therapy by
Cover of the book Radioactivity and Radiation by
Cover of the book Stochastic Analysis of Biochemical Systems by
Cover of the book The Management of Small Renal Masses by
Cover of the book French Philosophy of Technology by
Cover of the book Medical Management of Psychotropic Side Effects by
Cover of the book Quality Software Through Reuse and Integration 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