Programming Languages and Systems
20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.
The 10 papers presented in this volume were carefully reviewed and selected from 22...
The 10 papers presented in this volume were carefully reviewed and selected from 22...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 77.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Programming Languages and Systems “
Klappentext zu „Programming Languages and Systems “
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.
Inhaltsverzeichnis zu „Programming Languages and Systems “
Semantics and Analysis.- An Algebraic Theory for Shared-State Concurrency.- Decoupling the Ascending and Descending Phases in Abstract Interpretation.- Inferring Region Types via an Abstract Notion of Environment Transformation.- Testing and Verification.- RHLE: Modular Deductive Verification of Relational Properties.- Automated Temporal Verification for Algebraic Effects.- Model-based Fault Classification for Automotive Software.- Types.- Characterizing functions mappable over GADTs.- Applicative Intersection Types.- A Calculus with Recursive Types, Record Concatenation and Subtyping.- Novice Type Error Diagnosis with Natural Language Models.
Bibliographische Angaben
- 2022, 1st ed. 2022, XII, 215 Seiten, 45 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Ilya Sergey
- Verlag: Springer, Berlin
- ISBN-10: 3031210360
- ISBN-13: 9783031210365
Sprache:
Englisch
Kommentar zu "Programming Languages and Systems"
0 Gebrauchte Artikel zu „Programming Languages and Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Programming Languages and Systems".
Kommentar verfassen