Functional and Constraint Logic Programming: 26th International Workshop, Wflp 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Pape
暫譯: 函數式與約束邏輯程式設計:第26屆國際研討會 WFLP 2018,德國法蘭克福,2018年9月6日,修訂選定論文
Silva, Josep
- 出版商: Springer
- 出版日期: 2019-03-16
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 179
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303016201X
- ISBN-13: 9783030162016
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第26屆國際函數與約束邏輯程式設計研討會(WFLP 2018)經過審稿的會後論文集,該研討會於2018年9月在德國法蘭克福舉行。
在提交的19篇完整論文中,有12篇被接受在研討會上進行報告。在研討會後的第二次審查中,有10篇論文被接受收錄於本卷。這些論文涵蓋了函數與邏輯程式設計的不同領域,包括程式碼生成、驗證和除錯。它們被組織在以下主題部分:編譯器與程式碼生成;除錯與測試;以及函數邏輯程式設計的基礎。