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 America, Britain and Pakistan’s Nuclear Weapons Programme, 1974-1980 by
Cover of the book Political Mistakes and Policy Failures in International Relations by
Cover of the book Nurse Educator's Guide to Best Teaching Practice by
Cover of the book The Many Faces of Elastica by
Cover of the book Progress in Sustainable Energy Technologies: Generating Renewable Energy by
Cover of the book Death Across Cultures by
Cover of the book Artificial General Intelligence by
Cover of the book Exploring the World with the Laser by
Cover of the book The Anomalous Magnetic Moment of the Muon by
Cover of the book Challenging the Borders of Justice in the Age of Migrations by
Cover of the book Introduction to Intelligent Surveillance by
Cover of the book The Internet of Things in the Industrial Sector by
Cover of the book Nineteenth-Century Individualism and the Market Economy by
Cover of the book Shock Focusing Phenomena by
Cover of the book The Hydraulic Transport and Storage of Extractive Waste 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