Logic-Based Program Synthesis and Transformation

Discover the cutting-edge insights in "Logic-Based Program Synthesis and Transformation," authored by Fred Mesnard and published by Springer Nature Switzerland AG in 2019. This essential volume compiles the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held in Frankfurt/Main, Germany. With 203 pages of in-depth research, this book features 11 meticulously revised full papers selected from 29 submissions, showcasing the latest advancements in the field. Ideal for researchers and practitioners alike, this book delves into innovative methodologies and applications in program synthesis and transformation. Enhance your understanding of logic-based programming with this significant contribution to the literature. Don’t miss the opportunity to add this valuable resource to your collection!