| 書(shū)目名稱 | Functional and Logic Programming |
| 副標(biāo)題 | 17th International S |
| 編輯 | Jeremy Gibbons,Dale Miller |
| 視頻video | http://file.papertrans.cn/350/349850/349850.mp4 |
| 概述 | Programming languages.functional programming.logic programming |
| 叢書(shū)名稱 | Lecture Notes in Computer Science |
| 圖書(shū)封面 |  |
| 描述 | .This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024...The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions.?The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of.declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.. |
| 出版日期 | Conference proceedings 2024 |
| 關(guān)鍵詞 | architecture verification and validation; artificial intelligence; computer hardware; computer programm |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-981-97-2300-3 |
| isbn_softcover | 978-981-97-2299-0 |
| isbn_ebook | 978-981-97-2300-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 11:18
發(fā)表于 2025-3-21 16:20:38
