| 书目名称 | Programming Languages and Systems |
| 副标题 | 16th Asian Symposium |
| 编辑 | Sukyoung Ryu |
| 视频video | |
| 丛书名称 | 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 |
发表于 2025-3-21 19:29:21
