The debug slicing of logic programs
AbstractThis 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.
Download data is not yet available.
How to Cite
Szilágyi, G., Harmath, L., & Gyimóthy, T. (2001). The debug slicing of logic programs. Acta Cybernetica, 15(2), 257-278. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3578