Enhanced sharing analysis techniques: a comprehensive evaluation
From MaRDI portal
Publication:4673538
DOI10.1017/S1471068404001978zbMath1093.68015WikidataQ60501106 ScholiaQ60501106MaRDI QIDQ4673538
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
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
68N17: Logic programming
Related Items
The role of linearity in sharing analysis, 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, Optimality in goal-dependent analysis of Sharing, On the interaction between sharing and linearity