Abstract Interpretation based Verification of Logic Programs

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe. Abstract Interpretation based Verification of Logic Programs. Theoretical Computer Science, 30(1):22-38, 1999. [doi]

Authors

Marco Comini

This author has not been identified. Look up 'Marco Comini' in Google

Roberta Gori

This author has not been identified. Look up 'Roberta Gori' in Google

Giorgio Levi

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

Paolo Volpe

This author has not been identified. Look up 'Paolo Volpe' in Google