| 書目名稱 | Logic-Based Program Synthesis and Transformation |
| 副標題 | 25th International S |
| 編輯 | Moreno Falaschi |
| 視頻video | http://file.papertrans.cn/589/588097/588097.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015...The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions. The aimof the LOPSTR series is to stimulate and promote international research andcollaboration on logic-based program development. LOPSTR is open tocontributions in all aspects of logic-based program development, all stages ofthe software life cycle, and issues of both programming-in-the-small andprogramming-in-the-large.. |
| 出版日期 | Conference proceedings 2015 |
| 關(guān)鍵詞 | answer set programming; constraint logic programming; declarative debugging; program analysis; program s |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-27436-2 |
| isbn_softcover | 978-3-319-27435-5 |
| isbn_ebook | 978-3-319-27436-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2015 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 09:40
發(fā)表于 2025-3-21 16:29:22
