Loading...
Please wait, while we are loading the content...
Similar Documents
Universit a Di Pisa Veriication of Logic Programs Veriication of Logic Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Pedreschi, Dino Ruggieri, Salvatore |
| Copyright Year | 1997 |
| Abstract | We propose a proof method in the style of Hoare's logic, aimed at providing a unifying framework for the veriication of logic and Prolog programs with respect to their speciications. The method, which relies on purely declarative reasoning, has been designed as a trade-oo between expressive power and ease of use. On the basis of a few simple principles, we reason uniformly on several properties of logic and Prolog programs, including partial correctness, total correctness, absence of run-time errors, safe omission of the occur-check, computed answers, modular program development. We nally generalize the method to general programs. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
