02934nam 22005295 450 991059299160332120251225203721.09783031167676(electronic bk.)978303116766910.1007/978-3-031-16767-6(MiAaPQ)EBC7084588(Au-PeEL)EBL7084588(CKB)24819545400041(PPN)264953193(BIP)85668495(BIP)85342688(DE-He213)978-3-031-16767-6(EXLCZ)992481954540004120220910d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /edited by Alicia Villanueva1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (165 pages)Lecture Notes in Computer Science,1611-3349 ;13474Print version: Villanueva, Alicia Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing AG,c2022 9783031167669 Includes bibliographical references and index.Testing 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.This 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.Lecture Notes in Computer Science,1611-3349 ;13474Computer scienceComputer Science Logic and Foundations of ProgrammingComputer science.Computer Science Logic and Foundations of Programming.004.015113005.115Villanueva AliciaMiAaPQMiAaPQMiAaPQ9910592991603321Logic-Based Program Synthesis and Transformation2914320UNINA