default search action

combined dblp search
author search
venue search
publication search

ask others

APLAS 2022, Auckland, New Zealand

> Home > Conferences and Workshops > APLAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DvirKL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DvirKL22
Yotam Dvir, Ohad Kammar, Ori Lahav:
An Algebraic Theory for Shared-State Concurrency. 3-24
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ArceriMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ArceriMZ22
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella:
Decoupling the Ascending and Descending Phases in Abstract Interpretation. 25-44
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/SchoppX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/SchoppX22
Ulrich Schöpp, Chuangjie Xu:
Inferring Region Types via an Abstract Notion of Environment Transformation. 45-64

Testing and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DickersonYZD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DickersonYZD22
Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware:
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. 67-87
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/SongFC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/SongFC22
Yahui Song, Darius Foo, Wei-Ngan Chin:
Automated Temporal Verification for Algebraic Effects. 88-109
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/BeckerMRSWW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/BeckerMRSWW22
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

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/JohannC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/JohannC22
Patricia Johann, Pierre Cagne:
Characterizing Functions Mappable over GADTs. 135-154
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/XueOX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/XueOX22
Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie:
Applicative Intersection Types. 155-174
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ZhouOF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ZhouOF22
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan:
A Calculus with Recursive Types, Record Concatenation and Subtyping. 175-195
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/GengYLHPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/GengYLHPS22
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si:
Novice Type Error Diagnosis with Natural Language Models. 196-214

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.