Buch, Englisch, Band 13658, 215 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 353 g
20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
Buch, Englisch, Band 13658, 215 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 353 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-21036-5
Verlag: Springer Nature Switzerland
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.