Logic-Based Program Synthesis and Transformation

Discover the cutting-edge insights in "Logic-Based Program Synthesis and Transformation," authored by Maribel Fernández and published by Springer Nature Switzerland AG in 2021. This first edition, featuring 345 pages, compiles the refereed proceedings from the 30th International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR 2020), held from September 7-9, 2020. Inside, you will find 15 meticulously reviewed papers selected from a total of 31 submissions, showcasing the latest advancements and research in the field. This book is an essential resource for researchers and practitioners interested in logic-based programming methodologies and their applications. Enhance your understanding of program synthesis and transformation with this comprehensive volume that bridges theory and practice.