Logic-based program synthesis and transformation: 34th international symposium, lopstr 2024, milan, italy, september 9–10, 2024, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031712937
Date de publication :
7 sept. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions.