Efficient Top-Down Set-Sharing Analysis Using Cliques

Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo. Efficient Top-Down Set-Sharing Analysis Using Cliques. In Pascal Van Hentenryck, editor, Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Volume 3819 of Lecture Notes in Computer Science, pages 183-198, Springer, 2006. [doi]

Authors

Jorge Navas

This author has not been identified. Look up 'Jorge Navas' in Google

Francisco Bueno

This author has not been identified. Look up 'Francisco Bueno' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google