Logic-Based Program Synthesis and Transformation

Discover the cutting-edge insights of Logic-Based Program Synthesis and Transformation by Juliana Bowles, published by Springer International Publishing AG in 2024. This comprehensive volume features the refereed proceedings of the esteemed 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), which took place in Milan, Italy, on September 9–10, 2024.

Inside this engaging paperback edition, you will find 12 full papers and 1 short paper, all meticulously reviewed and selected from a competitive pool of 28 submissions. Spanning 241 pages, this book is a vital resource for researchers and practitioners interested in the latest advancements in logic-based program synthesis and transformation techniques. Enhance your knowledge and stay ahead in the field with this essential addition to your library.