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 11 of 11 records

view refined list in

export refined list as

showing all 11 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- 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
no results

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
no results

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
no results

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
no results

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.