Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science, 14330)
by Robert Glück, Bishoksan Kafle
This proceedings volume collects the scholarly contributions associated with LOPSTR 2023, the 33rd International Symposium on Logic-Based Program Synthesis and Transformation. Held in Cascais, Portugal, the event brought together research focused on logic-based approaches to synthesizing and transforming programs.
About This Book
This volume presents the proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, known as LOPSTR 2023.
The symposium took place in Cascais, Portugal, on October 23–24, 2023.
Focused on logic-based approaches to program synthesis and transformation, the book brings together the scholarly contributions associated with the event.
Published as volume 14330 in the Lecture Notes in Computer Science series, it is intended for readers interested in programming research and related computer science topics.
Reviews
No reviews yet. Be the first to review this book!