Programming Languages and Systems Programming Languages and Systems

Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*
The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.

* The conference was held virtually due to the COVID-19 pandemic.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٠
٢٦ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٣٩٠
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٩٫٣
‫م.ب.‬
Programming Languages and Systems Programming Languages and Systems
٢٠٢١
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
٢٠١٨
Programming Languages and Systems Programming Languages and Systems
٢٠٢٣
Perspectives of Systems Informatics Perspectives of Systems Informatics
٢٠١٠
Static Analysis Static Analysis
٢٠٢٢
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
٢٠١٩