Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

✍ Scribed by Fred Mesnard, Peter J. Stuckey

Publisher: Springer International Publishing
Year: 2019
Tongue: English
Leaves: 212
Series: Lecture Notes in Computer Science 11408
Edition: 1st ed.
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

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

✦ Subjects

Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages

📜 SIMILAR VOLUMES

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

✍ Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors) 📂 Library 📅 2017 🏛 Springer International Publishing 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited tal

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

✍ Maurizio Proietti, Hirohisa Seki (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefu

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

✍ Josep Silva 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the wor

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

✍ Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully review

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

✍ Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

✍ Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invite