Artifact for the "Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic" paper of OOPSLA'26
This artifact provides the technical development for the *Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic* paper accepted to OOPSLA'26. Please consult the `MANUAL.md` file for the detailed description.
Authors
- Lars Birkedal (ORCID: https://orcid.org/0000-0003-1320-0098)
- Justus Fasse
- Egor Sergeevich Namakonov
- Bart Jacobs
- Amin Timany
Institutions
- Aarhus University (DK)
- KU Leuven (BE)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-02-02
- DOI
- https://doi.org/10.5281/zenodo.18457697
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00