The Debug slicing of logic programs
| Title | The Debug slicing of logic programs |
| Publication Type | Journal Article |
| Year of Publication | 2001 |
| Authors | Szilágyi G., Harmath L., Gyimóthy T. |
| Journal | Acta Cybernetica |
| Volume | 15 |
| Pagination | 257–278 |
| Publisher | University of Szeged |
| ISSN | 0324-721X |
| Abstract | This paper extends the scope and optimality of previous algorithmic debugging techniques of Prolog programs using slicing techniques. We provide a dynamic slicing algorithm (called Debug slice) which augments the data flow analysis with control-flow dependences in order to identify the source of a bug included in a program. We developed a tool for debugging Prolog programs which also handles the specific programming techniques (cut, if-then, OR). This approach combines the Debug slice with Shapiro's algorithmic debugging technique. |
