Buchumschlag

Strong Normalisation for Asynchronous Effects

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ahman, Danel, Sobolev, Ilja
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Higher-Order Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2023)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

A simple formalization of alpha-equivalence
von: Apinis, Kalmer, et al.
Veröffentlicht: (2025)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Equational Bit-Vector Solving via Strong Gröbner Bases
von: Song, Jiaxin, et al.
Veröffentlicht: (2024)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
von: Endo, Ryunosuke, et al.
Veröffentlicht: (2025)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
von: Zilberstein, Noam, et al.
Veröffentlicht: (2023)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
von: Zilberstein, Noam
Veröffentlicht: (2024)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
von: de Vilhena, Paulo Emílio, et al.
Veröffentlicht: (2021)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
von: Piróg, Maciej, et al.
Veröffentlicht: (2025)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
von: Genco, Francesco A.
Veröffentlicht: (2024)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

CSLib: The Lean Computer Science Library
von: Barrett, Clark, et al.
Veröffentlicht: (2026)

Recursive Mutexes in Separation Logic
von: Du, Ke, et al.
Veröffentlicht: (2026)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
von: Zhang, Cheng, et al.
Veröffentlicht: (2026)

Symmetric Proofs of Parameterized Programs
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Can LLMs Perform Synthesis?
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Ordered Adjoint Logic (Extended Version)
von: Roshal, Sophia, et al.
Veröffentlicht: (2026)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
von: Bembenek, Aaron, et al.
Veröffentlicht: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
von: Caldwell, Benjamin, et al.
Veröffentlicht: (2026)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

A Graded Modal Dependent Type Theory with Erasure, Formalized
von: Abel, Andreas, et al.
Veröffentlicht: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
von: Cui, Leyi, et al.
Veröffentlicht: (2026)

A formalization of System I with type Top in Agda
von: Séttimo, Agustín, et al.
Veröffentlicht: (2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
von: Lohse, Janine, et al.
Veröffentlicht: (2026)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

act: Technical report
von: Paraskevopoulou, Zoe, et al.
Veröffentlicht: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)

Complete Local Reasoning About Parameterized Programs Over Topologies
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)