Automated Temporal Verification for Algebraic Effects
Gespeichert in:
| Veröffentlicht in: | APLAS (20. : 2022 : Auckland) Programming languages and systems |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| An Algebraic Theory for Shared-State Concurrency | 2022 | Dvir, Yotam |
| Inferring Region Types via an Abstract Notion of Environment Transformation | 2022 | Schöpp, Ulrich |
| Decoupling the Ascending and Descending Phases in Abstract Interpretation | 2022 | Arceri, Vincenzo |
| Iniative Intersection Types | 2022 | Oliveira, Bruno C. d. S. |
| Automated Temporal Verification for Algebraic Effects | 2022 | Song, Yahui |
| RHLE: Modular Deductive Verification of Relational V3 Properties | 2022 | Dickerson, Robert |
| Mode Fault Classification for Automotive Software | 2022 | Meyer, Roland |
| A Calculus with Recursive Types, Record Concatenation and Subtyping | 2022 | Zhou, Yaoda |
| Novice Type Error Diagnosis with Natural Language Models | 2022 | Geng, Chuqgin |
| Characterizing Functions Mappable over GADTs | 2022 | Johann, Patricia |