Set Based-Analysis of Logic Programs via Abstract Interpretation

Giorgio Levi, W. Volpi. Set Based-Analysis of Logic Programs via Abstract Interpretation. In José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998. pages 303-310, 1998.

Authors

Giorgio Levi

This author has not been identified. Look up 'Giorgio Levi' in Google

W. Volpi

This author has not been identified. Look up 'W. Volpi' in Google