| 書目名稱 | Programming Languages and Systems |
| 副標題 | 16th Asian Symposium |
| 編輯 | Sukyoung Ryu |
| 視頻video | http://file.papertrans.cn/761/760090/760090.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018..The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.. |
| 出版日期 | Conference proceedings 2018 |
| 關鍵詞 | artificial intelligence; computer architecture; formal logic; functional programming; model checking; pro |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-02768-1 |
| isbn_softcover | 978-3-030-02767-4 |
| isbn_ebook | 978-3-030-02768-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer Nature Switzerland AG 2018 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-7 02:01
發(fā)表于 2025-3-21 19:29:21
