The debug slicing of logic programs

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

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Szilágyi Gyöngyi
Harmath László
Gyimóthy Tibor
Testületi szerző: Conference for PhD Students in Computer Science (2.) (2000) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2001
Sorozat:Acta cybernetica 15 No. 2
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12677
LEADER 01430nab a2200253 i 4500
001 acta12677
005 20220614131740.0
008 161015s2001 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Szilágyi Gyöngyi 
245 1 4 |a The debug slicing of logic programs  |h [elektronikus dokumentum] /  |c  Szilágyi Gyöngyi 
260 |c 2001 
300 |a 257-278 
490 0 |a Acta cybernetica  |v 15 No. 2 
520 3 |a 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. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika 
700 0 1 |a Harmath László  |e aut 
700 0 1 |a Gyimóthy Tibor  |e aut 
710 |a Conference for PhD Students in Computer Science (2.) (2000) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/12677/1/cybernetica_015_numb_002_257-278.pdf  |z Dokumentum-elérés