LEADER 03532nam 22005175 450 001 9910751385103321 005 20251225205517.0 010 $a9783031457845 010 $a3031457846 024 7 $a10.1007/978-3-031-45784-5 035 $a(MiAaPQ)EBC30788693 035 $a(Au-PeEL)EBL30788693 035 $a(DE-He213)978-3-031-45784-5 035 $a(PPN)272913979 035 $a(CKB)28513194700041 035 $a(OCoLC)1404455148 035 $a(EXLCZ)9928513194700041 100 $a20231015d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation $e33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /$fedited by Robert Glück, Bishoksan Kafle 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (215 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14330 311 08$aPrint version: Glück, Robert Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing AG,c2023 9783031457838 327 $aK eynotes -- Unification modulo equational theories in languages with binding operators -- Horn Clauses Analysis, Transformation and Synthesis -- Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples -- Transforming big-step to small-step semantics using interpreter specialisation -- Constrained Horn Clauses Satisfiability via Catamorphic Abstractions -- Static analysis and Type systems -- A reusable machine-calculus for automated resource analyses -- Approach for Designing and Composing Abstract Domains -- A Logical Interpretation of Asynchronous Multiparty Compatibility -- Relational Solver for Java Generics Type System -- Unification and substitution in (C)LP -- Predicate Anti-unification in (Constraint) Logic Programming -- A term matching algorithm and substitution generality -- Knowledge representation and AI-based learning -- A novel EGs-based framework forsystematic propositional-formula simplification -- From Static to Dynamic Access Control Policies via Attribute-Based Category Mining -- Towards a Certified Proof Checker for Deep Neural Network Verification. 330 $aThis book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14330 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.0151 700 $aGlück$b Robert$01432745 701 $aKafle$b Bishoksan$01432746 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910751385103321 996 $aLogic-Based Program Synthesis and Transformation$93577789 997 $aUNINA