An Algebraic Approach to Sharing Analysis of Logic Programs
No abstract available.
Related papers
- Complexity Analysis of Tree Share Structure APLAS 2018
- Compiling data-parallel Datalog CC 2021
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation SAS 1996
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Logical Reasoning for Disjoint Permissions ESOP 2018