Logicbased Program Synthesis And Transformation

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.
The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

This book presents a unique state-of-the-art survey on progress in the field of program development making use of computational logic. The motivating idea behind this approach is the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as imperative paradigms.

by Krzysztof Krawiec (Author)
Recent research in Behavioral Program Synthesis with Genetic Programming
Presents application of genetic programming
Written by an expert in the field