A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation
No abstract available.
Related papers
- Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information SAS 1994
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Freeness Analysis Through Linear Refinement SAS 1999
- Cutting the Cake: A Language for Fair Division PLDI 2023
- Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates CGO 2026
- Reference Counting as a Computational Interpretation of Linear Logic JFP 1996
- Improving Abstract Interpretations by Combining Domains TOPLAS 1995
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025