| 書目名稱 | Programming Languages and Systems |
| 副標(biāo)題 | 30th European Sympos |
| 編輯 | Nobuko Yoshida |
| 視頻video | http://file.papertrans.cn/761/760096/760096.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | .This open access book constitutes the proceedings of the 30.th. European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic...The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.. |
| 出版日期 | Conference proceedings‘‘‘‘‘‘‘‘ 2021 |
| 關(guān)鍵詞 | computer programming; concurrency theory; distributed computer systems; formal logic; lamdba calculi; lin |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-72019-3 |
| isbn_softcover | 978-3-030-72018-6 |
| isbn_ebook | 978-3-030-72019-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s) 2021 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-28 02:49
發(fā)表于 2025-3-21 20:08:02
