Programming languages and systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, proceedings / Ilya Sergey (ed.).
APLAS (Symposium) (20th : 2022 : Auckland, New Zealand); Sergey, Ilya, editor.
2022
QA76.7
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Programming languages and systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, proceedings / Ilya Sergey (ed.).
Meeting Name APLAS (Symposium) (20th : 2022 : Auckland, New Zealand)
ISBN 9783031210372 (electronic bk.)
3031210379 (electronic bk.)
9783031210365
3031210360
DOI https://doi.org/10.1007/978-3-031-21037-2
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource (xii, 215 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-21037-2 doi
Call Number QA76.7
Dewey Decimal Classification 005.13
Summary 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.
Note Revised and selected conference papers.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Sergey, Ilya, editor.
Series Lecture notes in computer science ; 13658.
Available in Other Form Programming languages and systems.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export