Work

Verifying wait-freedom for concurrent higher-order programs (Artifact)

Year: 2026

Type: article

Abstract: This is an artifact for the "Verifying wait-freedom for concurrent higher-order programs" paper accepted to ECOOP'26. See the artifact.pdf file for the details.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19607891

Authors: Namakonov, Egor, Birkedal, Lars, Timany, Amin

Institution: Aarhus University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Villum Fonden

Awards: G1776688443, G6851704783

OpenAlex ID: W7154618546

FWCI:

Cites:

Cited by:

Related to: