Logic-Based Program Synthesis and Transformation
| Author | : Emanuele De Angelis |
| Publisher | : Springer Nature |
| Total Pages | : 186 |
| Release | : 2022-03-12 |
| ISBN-10 | : 9783030988692 |
| ISBN-13 | : 3030988694 |
| Rating | : 4/5 (92 Downloads) |
Book Synopsis Logic-Based Program Synthesis and Transformation by : Emanuele De Angelis
Download or read book Logic-Based Program Synthesis and Transformation written by Emanuele De Angelis and published by Springer Nature. This book was released on 2022-03-12 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
