The Debug slicing of logic programs

G. Szilágyi, L. Harmath, T. Gyimóthy

Research output: Contribution to journalArticle

4 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)257-278
Number of pages22
JournalActa Cybernetica
Volume15
Issue number2
Publication statusPublished - 2001

Fingerprint

Program debugging
Data flow analysis
Slicing
Logic Programs
Computer programming
Flow control
Debugging
Prolog
Slice
Program Slicing
Flow Control
Data Flow
Optimality
Programming
Logic

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software
  • Computational Theory and Mathematics
  • Theoretical Computer Science

Cite this

Szilágyi, G., Harmath, L., & Gyimóthy, T. (2001). The Debug slicing of logic programs. Acta Cybernetica, 15(2), 257-278.

The Debug slicing of logic programs. / Szilágyi, G.; Harmath, L.; Gyimóthy, T.

In: Acta Cybernetica, Vol. 15, No. 2, 2001, p. 257-278.

Research output: Contribution to journalArticle

Szilágyi, G, Harmath, L & Gyimóthy, T 2001, 'The Debug slicing of logic programs', Acta Cybernetica, vol. 15, no. 2, pp. 257-278.
Szilágyi G, Harmath L, Gyimóthy T. The Debug slicing of logic programs. Acta Cybernetica. 2001;15(2):257-278.
Szilágyi, G. ; Harmath, L. ; Gyimóthy, T. / The Debug slicing of logic programs. In: Acta Cybernetica. 2001 ; Vol. 15, No. 2. pp. 257-278.
@article{7e9d9fbd9e64435daee46e79ab2ed638,
title = "The Debug slicing of logic programs",
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.",
author = "G. Szil{\'a}gyi and L. Harmath and T. Gyim{\'o}thy",
year = "2001",
language = "English",
volume = "15",
pages = "257--278",
journal = "Acta Cybernetica",
issn = "0324-721X",
publisher = "University of Szeged",
number = "2",

}

TY - JOUR

T1 - The Debug slicing of logic programs

AU - Szilágyi, G.

AU - Harmath, L.

AU - Gyimóthy, T.

PY - 2001

Y1 - 2001

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

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

UR - http://www.scopus.com/inward/record.url?scp=0035201402&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035201402&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0035201402

VL - 15

SP - 257

EP - 278

JO - Acta Cybernetica

JF - Acta Cybernetica

SN - 0324-721X

IS - 2

ER -