Collection analysis for Horn clause programs (0)

by D MILLER
Venue:in "Proceedings of PPDP 2006: 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming", July 2006, p. 179–188, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.pdf. Parsifal 17