What question did this study set out to answer?

The research aims to develop a framework for liveness reasoning in higher-order impredicative concurrent separation logic.

February 6, 20261 citationsOpen Access

View Full Paper

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

ENEgor Sergeevich Namakonov JFJustus Fasse BJBart Jacobs

Key Points

The research aims to develop a framework for liveness reasoning in higher-order impredicative concurrent separation logic.
Provided an artifact outlining the technical development behind the framework.
Included a `MANUAL.md` for detailed setup and usage instructions.
Offers a modular approach to reasoning about liveness.
Outlines the theoretical foundations and practical applications of the developed framework.

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.

AI에게 질문

Bookmark

View Full Paper

AI에게 질문

Bookmark

View Full Paper

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

Key Points

Abstract

Cite This Study

Also Consider

Also Consider