Open Access
Algorithmic PARLOG Debugging.
Matthew M. Huntbach
- 01 Jan 1987
pp 288-297
17
About: The article was published on 01 Jan 1987. and is currently open access. The article focuses on the topics: Algorithmic program debugging & Parlog.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Generalized algorithmic debugging and testing
TL;DR: This paper presents a method for semi-automatic bug localization, generalized algorithmic debugging, which has been integrated with the category partition method for functional testing, and believes that this is the first generalization of algorithmic Debugging for programs with side-effects written in imperative languages such as Pascal.
119
Algorithmic Debugging with Assertions.
Wlodzimierz Drabent,Simin Nadjm-Tehrani,Jan Maluszynski +2 more
- 01 Jan 1988
TL;DR: In this article, a generalization of the Prolog language used to communicate with the debugger is presented, where formal specifications of some properties of the intended model are allowed, in addition to the usual “yes” and “no” answers.
66
Generalized algorithmic debugging and testing
Peter Fritzson,Tibor Gyimóthy,Mariam Kamkar,Nahid Shahmehri +3 more
- 01 May 1991
TL;DR: This paper presents a method for semi-automatic bug localization, generalized algorithmic debugging, which has been integrated with the category partition method for functional testing, and believes that this is the first generalization of algorithmic Debugging for programs with side-effects written in imperative languages such as Pascal.
66
•Book
Algorithmic debugging with assertions
Wlodzimierz Drabent,Simin Nadjm-Tehrani,Jan Maluszynski +2 more
- 01 Dec 1989
TL;DR: This paper suggests a generalization of the language used to communicate with the debugger, in addition to the usual “yes” and “no” answers, formal specifications of some properties of the intended model are allowed.
Logic Programming Environments: Dynamic program analysis and debugging
Mireille Ducassé,Jacques Noyé +1 more
TL;DR: A unifying framework is given which separates environment tools into extraction, analysis, and visualization and facilitates the analysis of existing tools and should give some guidelines to develop new ones.
50
Related Papers (5)
Ehud Shapiro
- 14 Apr 1983
Yossi Lichtenstein,Ehud Shapiro +1 more
- 01 Aug 1988
Peter Fritzson
- 01 Jan 1993