The debug slicing of logic programs

Szilágyi Gyöngyi and Harmath László and Gyimóthy Tibor: The debug slicing of logic programs. In: Acta cybernetica, (15) 2. pp. 257-278. (2001)

[thumbnail of cybernetica_015_numb_002_257-278.pdf]
Cikk, tanulmány, mű

Download (1MB) | Preview


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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2001
Volume: 15
Number: 2
ISSN: 0324-721X
Page Range: pp. 257-278
Language: English
Place of Publication: Szeged
Event Title: Conference for PhD Students in Computer Science (2.) (2000) (Szeged)
Related URLs:
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: p. 277-278. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 14. 13:17

Actions (login required)

View Item View Item