Text this: Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings / edited by Juliana Bowles, Harald Søndergaard. [electronic resource] :