| 書目名稱 | Functional and Logic Programming |
| 副標(biāo)題 | 13th International S |
| 編輯 | Oleg Kiselyov,Andy King |
| 視頻video | http://file.papertrans.cn/350/349851/349851.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. .The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness.?. |
| 出版日期 | Conference proceedings 2016 |
| 關(guān)鍵詞 | Distributed systems; Functional language; Logic programming; Model checking; Type system; Concurrent prog |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-29604-3 |
| isbn_softcover | 978-3-319-29603-6 |
| isbn_ebook | 978-3-319-29604-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2016 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 20:43
發(fā)表于 2025-3-21 18:22:50
