![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
APLAS 2022, Auckland, New Zealand
- Ilya Sergey
:
Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Lecture Notes in Computer Science 13658, Springer 2022, ISBN 978-3-031-21036-5
Semantics and Analysis
- Yotam Dvir
, Ohad Kammar
, Ori Lahav
:
An Algebraic Theory for Shared-State Concurrency. 3-24 - Vincenzo Arceri
, Isabella Mastroeni
, Enea Zaffanella
:
Decoupling the Ascending and Descending Phases in Abstract Interpretation. 25-44 - Ulrich Schöpp
, Chuangjie Xu
:
Inferring Region Types via an Abstract Notion of Environment Transformation. 45-64
Testing and Verification
- Robert Dickerson, Qianchuan Ye
, Michael K. Zhang, Benjamin Delaware:
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. 67-87 - Yahui Song, Darius Foo, Wei-Ngan Chin:
Automated Temporal Verification for Algebraic Effects. 88-109 - Mike Becker
, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff:
Model-Based Fault Classification for Automotive Software. 110-131
Types
- Patricia Johann, Pierre Cagne
:
Characterizing Functions Mappable over GADTs. 135-154 - Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie:
Applicative Intersection Types. 155-174 - Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
:
A Calculus with Recursive Types, Record Concatenation and Subtyping. 175-195 - Chuqin Geng
, Haolin Ye
, Yixuan Li
, Tianyu Han
, Brigitte Pientka
, Xujie Si
:
Novice Type Error Diagnosis with Natural Language Models. 196-214
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.