Logic-Based Program Synthesis and Transformation: 34th International Symposium, Lopstr 2024, Milan, Italy, September 9-10, 2024, Proceedings
暫譯: 基於邏輯的程式合成與轉換：第34屆國際研討會，Lopstr 2024，義大利米蘭，2024年9月9-10日，會議論文集
Bowles, Juliana, Søndergaard, Harald
- 出版商: Springer
- 出版日期: 2024-09-07
- 售價: $2,640
- 貴賓價: 9.5 折 $2,508
- 語言: 英文
- 頁數: 241
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031712935
- ISBN-13: 9783031712937
海外代購書籍(需單獨結帳)
相關主題
商品描述
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. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
商品描述(中文翻譯)
本書為第34屆國際邏輯基礎程式合成與轉換研討會（LOPSTR 2024）的經過審稿的會議論文集，該研討會於2024年9月9日至10日在義大利米蘭舉行。
本書收錄的12篇完整論文和1篇短文是從28篇投稿中精心審核和選出的。這些論文按照主題分為以下幾個部分：合成與轉換；決策程序；部署；規範、重構與測試；以及項與圖的重寫。
