Logic-Based Program Synthesis and Transformation

Discover the cutting-edge insights in "Logic-Based Program Synthesis and Transformation," authored by Maurizio Gabbrielli. This 2020 edition, published by Springer Nature Switzerland AG, compiles the thoroughly refereed post-conference proceedings from the 29th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2019) held in Porto, Portugal. Spanning 261 pages, this book delves into the latest advancements and methodologies in program synthesis and transformation, making it an essential resource for researchers and practitioners in the field. Enhance your understanding of logic-based systems and their applications with this comprehensive collection of scholarly works. Perfect for those looking to deepen their knowledge and stay updated with current trends in computer science.