Logic-Based Program Synthesis and Transformation
32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
Wersja papierowa
Redakcja:
Villanueva Alicia
Wydawnictwo:
Springer Nature B.V.ISBN: 978-30-311-6766-9
Format: 15.6x23.4cm
Liczba stron: 172
Oprawa: Miękka
Wydanie: 2022 r.
Język: angielski
Dostępność: dostępny
222,20 zł
This book constitutes the refereed proceedings of the 32<sup>nd</sup> International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.<br> 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.
