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)
Preview |
Cikk, tanulmány, mű
cybernetica_015_numb_002_257-278.pdf Download (1MB) | Preview |
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.
| 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: | http://acta.bibl.u-szeged.hu/38512/ |
| 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 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12677 |
Actions (login required)
 |
View Item |
