Logic-Based Program Synthesis and Transformation

Discover the groundbreaking work of Emanuele De Angelis in Logic-Based Program Synthesis and Transformation, published by Springer Nature Switzerland AG in 2022. This insightful book compiles the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on September 7-8, 2021. Within its 177 pages, you will find eight meticulously reviewed papers that delve into the latest advancements and research in the field of logic-based program synthesis. Each contribution has been carefully selected from a total of 15 submissions, ensuring a high-quality reading experience for scholars and practitioners alike. Whether you are a researcher or an enthusiast in mathematics and programming, this first edition promises to enrich your understanding and inspire innovative approaches to program synthesis and transformation.