Logic-based Program Synthesis And Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers (lecture Notes In Computer Science)

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis. Front Matter ....Pages I-XX Front Matter ....Pages 1-1 Proving Program Properties as First-Order Satisfiability (Salvador Lucas)....Pages 3-21 Guided Unfoldings for Finding Loops in Standard Term Rewriting (Étienne Payet)....Pages 22-37 Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms (María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer)....Pages 38-55 Front Matter ....Pages 57-57 Multiparty Classical Choreographies (Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska)....Pages 59-76 A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference (Petros Papapanagiotou, Jacques Fleuriot)....Pages 77-93 Confluence of CHR Revisited: Invariants and Modulo Equivalence (Henning Christiansen, Maja H. Kirkeby)....Pages 94-111 Front Matter ....Pages 113-113 Compiling Control as Offline Partial Deduction (Vincent Nys, Danny De Schreye)....Pages 115-131 Predicate Specialization for Definitional Higher-Order Logic Programs (Antonis Troumpoukis, Angelos Charalambidis)....Pages 132-147 An Assertion Language for Slicing Constraint Logic Languages (Moreno Falaschi, Carlos Olarte)....Pages 148-165 Front Matter ....Pages 167-167 Eliminating Unstable Tests in Floating-Point Programs (Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato)....Pages 169-183 Multivariant Assertion-Based Guidance in Abstract Interpretation (Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo)....Pages 184-201 Back Matter ....Pages 203-203