Logic-Based Program Synthesis and Transformation
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Editors: Gabbrielli, Maurizio (Ed.)
Free PreviewBuy this book
- About this book
-
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.
The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.
- Table of contents (15 chapters)
-
-
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
Pages 3-18
-
A General Framework for Static Cost Analysis of Parallel Logic Programs
Pages 19-35
-
Incremental Analysis of Logic Programs with Assertions and Open Predicates
Pages 36-56
-
Computing Abstract Distances in Logic Programs
Pages 57-72
-
Synthesizing Imperative Code from Answer Set Programming Specifications
Pages 75-89
-
Table of contents (15 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic-Based Program Synthesis and Transformation
- Book Subtitle
- 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
- Editors
-
- Maurizio Gabbrielli
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 12042
- Copyright
- 2020
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-45260-5
- DOI
- 10.1007/978-3-030-45260-5
- Softcover ISBN
- 978-3-030-45259-9
- Edition Number
- 1
- Number of Pages
- XVI, 261
- Number of Illustrations
- 378 b/w illustrations, 228 illustrations in colour
- Topics