LEADER 02934nam 22005295 450 001 9910592991603321 005 20251225203721.0 010 $a9783031167676$b(electronic bk.) 010 $z9783031167669 024 7 $a10.1007/978-3-031-16767-6 035 $a(MiAaPQ)EBC7084588 035 $a(Au-PeEL)EBL7084588 035 $a(CKB)24819545400041 035 $a(PPN)264953193 035 $a(BIP)85668495 035 $a(BIP)85342688 035 $a(DE-He213)978-3-031-16767-6 035 $a(EXLCZ)9924819545400041 100 $a20220910d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation $e32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21?23, 2022, Proceedings /$fedited by Alicia Villanueva 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (165 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13474 311 08$aPrint version: Villanueva, Alicia Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing AG,c2022 9783031167669 320 $aIncludes bibliographical references and index. 327 $aTesting for Robotic Systems -- Automated Termination and Complexity Analysis -- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving Confluence with CONFident.-Variant-based Equational Anti-unification -- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs -- Building a Join-Optimizer for SoufflŽe -- From Infinity to Choreographies: Extraction for Unbounded Systems -- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming -- On Correctness of Normal Logic Programs. 330 $aThis book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13474 606 $aComputer science 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 14$aComputer Science Logic and Foundations of Programming. 676 $a004.015113 676 $a005.115 702 $aVillanueva$b Alicia 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910592991603321 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNINA