Author:
Amato Gianluca,Scozzari Francesca
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. G. Amato and F. Scozzari. Optimality in goal-dependent analysis of sharing. Technical Report TR-02-06, Dipartimento di Informatica, Univ. di Pisa, May 2002.
2. R. Bagnara, P. Hill, and E. Zaffanella. Set-sharing is redundant for pair-sharing. Theoretical Computer Science, 277(1–2):3–46, 2002.
3. R. Bagnara, E. Zaffanella, and P. M. Hill. Enhanced sharing analysis techniques: A comprehensive evaluation. In Proc. of ACM Conf. PPDP, pp. 103–114, 2000.
4. M. Codish, D. Dams, and E. Yardeni. Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis. In ICLP, pp. 79–93, 1991.
5. M. Codish, V. Lagoon, and F. Bueno. An algebraic approach to sharing analysis of logic programs. In Static Analysis Symposium, pp. 68–82, 1997.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the interaction between sharing and linearity;Theory and Practice of Logic Programming;2009-09-24
2. Optimality in goal-dependent analysis of Sharing;Theory and Practice of Logic Programming;2009-07-31