Proving Properties of Logic Programs by Abstract Diagnosis

@inproceedings{Comini1996ProvingPO,
  title={Proving Properties of Logic Programs by Abstract Diagnosis},
  author={Marco Comini and Giorgio Levi and Maria Chiara Meo and Giuliana Vitiello},
  booktitle={LOMAPS},
  year={1996}
}
We show how declarative diagnosis techniques can be extended to cope with verification of operational properties, such as computed answers, and of abstract properties, such as types and groundness dependencies. The extension is achieved by using a simple semantic framework, based on abstract interpretation. The resulting technique (abstract diagnosis) leads… CONTINUE READING