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...
Elmentve itt :
| Szerzők: | |
|---|---|
| Testületi szerző: | |
| 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 |