We show how declarative diagnosis techniques can be extended to cope with verification of operational properties, such as computed and correct answers, and of abstract properties, such as depth(k) answers and groundness dependencies. The extension is achieved by usir, g a simple semantic framework, based ¢~n abstract interpretation. The resulting technique (abstract diagnosis) leads to elegant bottom-up and top-dowr~ verification methods, which do not require to determine the symptoms in advance, and which are effective in the case of abstract properties described by finite domains.
Abstract Diagnosis
MEO, MARIA CHIARA;
1999-01-01
Abstract
We show how declarative diagnosis techniques can be extended to cope with verification of operational properties, such as computed and correct answers, and of abstract properties, such as depth(k) answers and groundness dependencies. The extension is achieved by usir, g a simple semantic framework, based ¢~n abstract interpretation. The resulting technique (abstract diagnosis) leads to elegant bottom-up and top-dowr~ verification methods, which do not require to determine the symptoms in advance, and which are effective in the case of abstract properties described by finite domains.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
