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. |