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.
| ISBN: | 9783030684457 |
| Publication date: | 13th February 2021 |
| Author: | Maribel Fernández |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 345 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Artificial intelligence Software Engineering Computer hardware |