Experimental evaluation of optimal abstract operators for sharing and linearity analysis

DOI10.1017/S1471068426100532MaRDI QIDQ7406143zbMATH OpenFDO

Authors Gianluca Amato, Francesca Scozzari

Publication date 2026

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068426100532

zbMATH Keywords

abstract interpretationlinearitylogic programmingsharing

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• A practical framework for theabstract interpretation of logic programs
• Abstract Interpretation Frameworks
• Compile-time derivation of variable dependency using abstract interpretation
• Enhanced sharing analysis techniques: a comprehensive evaluation
• On collecting semantics for program analysis
• On the interaction between sharing and linearity
• Optimal groundness analysis using propositional logic
• Optimal multibinding unification for sharing and linearity analysis
• Optimality in goal-dependent analysis of Sharing
• Set-sharing is redundant for pair-sharing
• Static analysis of logic programs for independent and parallelism
• The role of linearity in sharing analysis
• Three optimisations for sharing

This page was built for publication: Experimental evaluation of optimal abstract operators for sharing and linearity analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7406143)