Freeness Analysis Through Linear Refinement
Abstract elided by the publisher.
Related papers
- A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation SAS 1996
- Verifying Cake-Cutting, Faster CAV 2024
- Cutting the Cake: A Language for Fair Division PLDI 2023
- Mutatis Mutandis: Safe and predictable dynamic software updating TOPLAS 2007
- Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information SAS 1994
- Mutatis mutandis: safe and predictable dynamic software updating POPL 2005
- Solo: a lightweight static analysis for differential privacy OOPSLA 2022
- A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs OOPSLA 2026