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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Egor Sergeevich Namakonov, Justus Fasse, Bart Jacobs, Lars Birkedal, Amin Timany
DOI: 10.5281/zenodo.18457698
Cited by: 1

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.

Fields of Study & Subjects

Logic Reasoning and Knowledge Multi-Agent Systems and Negotiation programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
2 February 2026
Language
EN