Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings (Programming and Software Engineering, Band 12470) - Softcover

Softcover

ISBN 10: 3030644367 ISBN 13: 9783030644369

Verlag: Springer, 2020

Inhaltsangabe

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.

Über diesen Titel

Von der hinteren Coverseite

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2020
• Sprache: Englisch
• ISBN 10: 3030644367
• ISBN 13: 9783030644369
• Einband: Taschenbuch
• Auflage: 1
• Anzahl der Seiten: 390
• Herausgeber: Oliveira Bruno C. D. S.
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland