
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Editors: Fernández, Maribel (Ed.)
Buy this book
- About this book
-
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.
- Table of contents (17 chapters)
-
-
Symbolic Computation in Maude: Some Tapas
Pages 3-36
-
Runtime Complexity Analysis of Logically Constrained Rewriting
Pages 37-55
-
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables
Pages 56-73
-
Pattern Eliminating Transformations
Pages 74-92
-
Nominal Unification with Letrec and Environment-Variables
Pages 95-112
-
Table of contents (17 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic-Based Program Synthesis and Transformation
- Book Subtitle
- 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
- Editors
-
- Maribel Fernández
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 12561
- Copyright
- 2021
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-68446-4
- DOI
- 10.1007/978-3-030-68446-4
- Softcover ISBN
- 978-3-030-68445-7
- Edition Number
- 1
- Number of Pages
- X, 345
- Number of Illustrations
- 63 b/w illustrations, 1 illustrations in colour
- Topics