LEADER 04542nam 22006975 450 001 9910409673003321 005 20251225181937.0 010 $a3-030-45260-3 024 7 $a10.1007/978-3-030-45260-5 035 $a(CKB)4100000011223243 035 $a(MiAaPQ)EBC6181535 035 $a(DE-He213)978-3-030-45260-5 035 $a(PPN)243761031 035 $a(EXLCZ)994100000011223243 100 $a20200421d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation $e29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8?10, 2019, Revised Selected Papers /$fedited by Maurizio Gabbrielli 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (270 pages) $cillustrations 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12042 311 08$a3-030-45259-X 327 $aReversibilization in Functional and Concurrent Programming -- Horn clauses and tree automata for imperative program verification -- On xpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics -- A General Framework for Static Cost Analysis of Parallel Logic Programs -- Incremental Analysis of Logic Programs with Assertions and Open Predicates -- Computing Abstract Distances in Logic Programs -- Synthesizing Imperative Code from Answer Set Programming Specifications -- Verified Construction of Fair Voting Rules -- Solving Proximity Constraints -- A Certified Functional Nominal C-Unification Algorithm -- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming -- An Integrated Approach to Assertion-Based Random Testing in Prolog.-Trace analysis using an Event-driven Interval Temporal Logic -- The Prolog debugger and declarative programming -- A Port Graph Rewriting Approach to Relational Database Modelling -- Generalization-driven semantic clone detection in CLP -- Semi-Inversion of Conditional Constructor Term Rewriting Systems. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12042 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aComputer simulation 606 $aApplication software 606 $aArtificial intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Engineering and Networks 606 $aComputer Modelling 606 $aComputer and Information Systems Applications 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer simulation. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Engineering and Networks. 615 24$aComputer Modelling. 615 24$aComputer and Information Systems Applications. 615 24$aArtificial Intelligence. 676 $a005.115 676 $a005.115 702 $aGabbrielli$b Maurizio$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910409673003321 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNINA