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 Neighborhood Disorganization and Social Control by
Cover of the book Sexual Crime, Religion and Masculinity in fin-de-siècle France by
Cover of the book Responsible Innovation 2 by
Cover of the book Replicating Atonement by
Cover of the book Data and Decision Sciences in Action by
Cover of the book Youth Studies in Transition: Culture, Generation and New Learning Processes by
Cover of the book Encouraging Openness by
Cover of the book The Empirical Validation of House Energy Rating (HER) Software for Lightweight Housing in Cool Temperate Climates by
Cover of the book The Twin Sister Planets Venus and Earth by
Cover of the book Urinary Diversion by
Cover of the book Discrete Fuzzy Measures by
Cover of the book Feeling Academic in the Neoliberal University by
Cover of the book Interpersonal Argumentation in Educational and Professional Contexts by
Cover of the book Disaster Resilience from a Sociological Perspective by
Cover of the book Intimate Relationships in Cinema, Literature and Visual Culture 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