Author:
Heaton Andrew,Hill Patricia M.,King Andy
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. R. Bagnara, P. M. Hill, and E. Zaffanella. Set-sharing is redundant for pair-sharing. In P. Van Hentenryck, editor, Static Analysis: Proceedings of the 4th International Symposium, volume 1302, pages 53–67, Paris, France, 1997.
2. R. Balbes and P. Dwinger. Distributive Lattices. University of Missouri Press, Columbia, Missouri, 1974.
3. G. Birkhoff. Lattice Theory. AMS Colloquium Publication, Providence, RI, 3rd edition, 1967.
4. M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda, and M. Hermenegildo. Improving abstract interpretations by combining domains. ACM Transactions on Programming Languages and Systems, 17(1):28–44, 1995.
5. A. Cortesi and G. Filé. Sharing is Optimal. Journal of Logic Programming, 38(3):371–386, 1999.