LEADER 05264nam 22008055 450 001 996207294803316 005 20230222195722.0 010 $a3-319-17822-9 024 7 $a10.1007/978-3-319-17822-6 035 $a(CKB)3710000000404081 035 $a(SSID)ssj0001501583 035 $a(PQKBManifestationID)11830608 035 $a(PQKBTitleCode)TC0001501583 035 $a(PQKBWorkID)11446312 035 $a(PQKB)11251231 035 $a(DE-He213)978-3-319-17822-6 035 $a(MiAaPQ)EBC6302922 035 $a(MiAaPQ)EBC5591419 035 $a(Au-PeEL)EBL5591419 035 $a(OCoLC)908387319 035 $a(PPN)185489168 035 $a(EXLCZ)993710000000404081 100 $a20150422d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /$fedited by Maurizio Proietti, Hirohisa Seki 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XII, 333 p. 61 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8981 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-17821-0 327 $aInvited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating programs by program transformation -- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction -- Constraint Handling Rules -- Confluence Modulo Equivalence in Constraint Handling Rules -- Exhaustive Execution of CHR through Source-to-Source Transformation -- A Formal Semantics for the Cognitive Architecture ACT-R -- CHRAnimation: An Animation Tool for Constraint Handling Rules -- Termination Analysis -- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems -- Security.-Partial Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation in Prolog -- Liveness properties in CafeOBJ-a case study for meta-level specifications -- Program Synthesis -- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene Closures -- Semantic Issues in Logic Programming -- On completeness of logic programs -- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program Transformation and Optimization -- Declarative Compilation for Constraint Logic Programming -- Pre-indexed Terms for Prolog. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8981 606 $aComputer science 606 $aSoftware engineering 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aDiscrete Mathematics in Computer Science 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 676 $a005.115 702 $aProietti$b Maurizio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeki$b Hirohisa$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996207294803316 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNISA