04297nam 22006975 450 991048359090332120251225173603.03-030-68446-610.1007/978-3-030-68446-4(CKB)4100000011763231(DE-He213)978-3-030-68446-4(MiAaPQ)EBC6478487(PPN)25385850X(EXLCZ)99410000001176323120210212d2021 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierLogic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /edited by Maribel Fernández1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (X, 345 p. 64 illus., 1 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;125613-030-68445-8 Includes bibliographical references and index.Rewriting -- Symbolic Computation in Maude: Some Tapas (Invited Paper) -- Runtime Complexity Analysis of Logically Constrained Rewriting -- Con uence and Commutation for Nominal Rewriting Systems with Atom Variables -- Pattern eliminating transformations -- Unification -- Nominal Uni cation with Letrec and Environment-Variables -- Terminating Non-Disjoint Combined Unification -- Types -- slepice: Towards a Verified Implementation of Type Theory in Type Theory -- Resourceful Program Synthesis from Graded Linear Types -- Verification -- On Constrained Horn Clauses and Program Veri cation (Invited Paper) -- Algorithm Selection for Dynamic Symbolic Execution: a Preliminary Study -- Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines -- Model Checking and Probabilistic Programming -- Generating Functions for Probabilistic Programs -- Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs -- Program Analysis and Testing -- Testing Your (Static Analysis) Truths -- Slicing unconditional jumps with unnecessary control dependencies -- Logics -- A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic -- Synthesis of Modality De nitions and a Theorem Prover for Epistemic Intuitionistic Logic.This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.Theoretical Computer Science and General Issues,2512-2029 ;12561Computer scienceArtificial intelligenceSoftware engineeringMachine theoryComputer engineeringComputer networksComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceSoftware EngineeringFormal Languages and Automata TheoryComputer Engineering and NetworksComputer science.Artificial intelligence.Software engineering.Machine theory.Computer engineering.Computer networks.Computer Science Logic and Foundations of Programming.Artificial Intelligence.Software Engineering.Formal Languages and Automata Theory.Computer Engineering and Networks.004.015113Fernández MaribelMiAaPQMiAaPQMiAaPQBOOK9910483590903321Logic-Based Program Synthesis and Transformation2914320UNINA