Enhanced sharing analysis techniques: a comprehensive evaluation

DOI10.1017/S1471068404001978MaRDI QIDQ4673538zbMATH OpenOpenAlexWikidataFDO

Authors Roberto Bagnara, Enea Zaffanella, Patricia M. Hill

Publication date 29 April 2005

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

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

zbMATH Keywords

abstract interpretationexperimental evaluationlogic programmingsharing analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1617334
• scientific article; zbMATH DE number 1487849
• Functional and Logic Programming
• Lazy Set-Sharing Analysis
• scientific article; zbMATH DE number 1692904

Cited in

(10)

• scientific article; zbMATH DE number 1617334 (Why is no real title available?)
• Optimality in goal-dependent analysis of Sharing
• On the interaction between sharing and linearity
• Lazy Set-Sharing Analysis
• scientific article; zbMATH DE number 1487849 (Why is no real title available?)
• The role of linearity in sharing analysis
• Functional and Logic Programming
• Optimal multibinding unification for sharing and linearity analysis
• Exploiting linearity in sharing analysis of object-oriented programs
• Finite-tree analysis for constraint logic-based languages

This page was built for publication: Enhanced sharing analysis techniques: a comprehensive evaluation

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