| 书目名称 | Programming Languages and Systems | | 副标题 | 30th European Sympos | | 编辑 | Nobuko Yoshida | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 20:08:02
