| 書目名稱 | Programming Languages and Systems |
| 副標(biāo)題 | 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 |
| 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 04:02
發(fā)表于 2025-3-21 19:29:21
