Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

✍ Scribed by Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)

• Publisher: Springer International Publishing
• Year: 2017
• Tongue: English
• Leaves: 365
• Series: Lecture notes in computer science #10184
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.
The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.

✦ Table of Contents

Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms (María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer)....Pages 3-20
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell (Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer, Enrique Martin-Martin)....Pages 21-37
Verification of Time-Aware Business Processes Using Constrained Horn Clauses (Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti)....Pages 38-55
Front Matter ....Pages 57-57
MiniZinc with Strings (Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack)....Pages 59-75
Slicing Concurrent Constraint Programs (Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi)....Pages 76-93
Front Matter ....Pages 95-95
A New Functional-Logic Compiler for Curry: Sprite (Sergio Antoy, Andy Jost)....Pages 97-113
lpopt: A Rule Optimization Tool for Answer Set Programming (Manuel Bichler, Michael Morak, Stefan Woltran)....Pages 114-130
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs (Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal)....Pages 131-147
Front Matter ....Pages 149-149
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators (Bin Fang, Mihaela Sighireanu)....Pages 151-167
A Productivity Checker for Logic Programming (Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt)....Pages 168-186
Symbolic Abstract Contract Synthesis in a Rewriting Framework (María Alpuente, Daniel Pardo, Alicia Villanueva)....Pages 187-202
Front Matter ....Pages 203-203
On the Completeness of Selective Unification in Concolic Testing of Logic Programs (Fred Mesnard, Étienne Payet, Germán Vidal)....Pages 205-221
CurryCheck: Checking Properties of Curry Programs (Michael Hanus)....Pages 222-239
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Paul Tarau)....Pages 240-255
Front Matter ....Pages 257-257
A Reversible Semantics for Erlang (Naoki Nishida, Adrián Palacios, Germán Vidal)....Pages 259-274
Scaling Bounded Model Checking by Transforming Programs with Arrays (Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C.)....Pages 275-292
Intuitionistic Logic Programming for SQL (Fernando Sáenz-Pérez)....Pages 293-308
Front Matter ....Pages 309-309
Coinductive Soundness of Corecursive Type Class Resolution (František Farka, Ekaterina Komendantskaya, Kevin Hammond)....Pages 311-327
Nominal Unification of Higher Order Expressions with Recursive Let (Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret)....Pages 328-344
Automata Theory Approach to Predicate Intuitionistic Logic (Maciej Zielenkiewicz, Aleksy Schubert)....Pages 345-360
Back Matter ....Pages 361-361

✦ Subjects

Computer science;Informatique;Computer programming;Programmation (Informatique);Software engineering;Génie logiciel;Programming languages (Electronic computers);Algorithms;Algorithmes;Computer logic;Logique informatique;Mathematical logic;Logic, Symbolic and mathematical;Programming languages (Electronic computers)