书目名称 | Functional and Constraint Logic Programming |
副标题 | 26th International W |
编辑 | Josep Silva |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. .From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.. . |
出版日期 | Conference proceedings 2019 |
关键词 | answer set programming; artificial intelligence; code generation; constraint programming; debugging; func |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-16202-3 |
isbn_softcover | 978-3-030-16201-6 |
isbn_ebook | 978-3-030-16202-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer Nature Switzerland AG 2019 |