Collection analysis for Horn clause programs (2006)

Cached

Download Links

by Dale Miller
Venue:In Proceedings of PPDP 2006: 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Citations:3 - 1 self