LEADER 04990nam 22007695 450 001 996466315703316 005 20230222172754.0 010 $a3-319-63139-X 024 7 $a10.1007/978-3-319-63139-4 035 $a(CKB)4340000000061636 035 $a(DE-He213)978-3-319-63139-4 035 $a(MiAaPQ)EBC6284763 035 $a(MiAaPQ)EBC5576858 035 $a(Au-PeEL)EBL5576858 035 $a(OCoLC)999401470 035 $a(PPN)203668871 035 $a(EXLCZ)994340000000061636 100 $a20170724d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6?8, 2016, Revised Selected Papers /$fedited by Manuel V Hermenegildo, Pedro Lopez-Garcia 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 361 p. 75 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10184 300 $aIncludes index. 311 $a3-319-63138-1 327 $aPartial Evaluation of Order-sorted Equational Programs modulo Axioms -- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using Constrained Horn Clauses -- MiniZinc with Strings -- Slicing Concurrent Constraint Programs -- A New Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming -- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs -- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators -- A Productivity Checker for Logic Programming -- Symbolic Abstract Contract Synthesis in a Rewriting Framework -- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs -- CurryCheck: Checking Properties of Curry Programs -- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms -- A Reversible Semantics for Erlang -- Scaling Bounded Model Checking By Transforming Programs With Arrays -- Coinductive Soundness of Corecursive Type Class Resolution -- Nominal Unification of Higher Order Expressions with Recursive Let -- Automata Theory Approach to Predicate Intuitionistic Logic. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10184 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aSoftware engineering 606 $aMachine theory 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aAlgorithms. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 676 $a005.1 702 $aHermenegildo$b Manuel V$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLopez-Garcia$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466315703316 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNISA