| 书目名称 | Logic-Based Program Synthesis and Transformation |
| 副标题 | 25th International S |
| 编辑 | Moreno Falaschi |
| 视频video | |
| 概述 | 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 |
| 关键词 | 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 |
发表于 2025-3-21 16:29:22
