Work

Artifact for the "Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic" paper of OOPSLA'26

Year: 2026

Type: article

Abstract: 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.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18457697

Authors: Namakonov, Egor, Fasse, Justus, Jacobs, Bart, Birkedal, Lars, Timany, Amin

Institutions: Aarhus University, KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Villum Fonden, KU Leuven

Awards: G1776688443, G6851704783