Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,389,631 papers from all fields of science
Search
Sign In
Create Free Account
Algorithmic program debugging
Known as:
Declarative Debugging
Algorithmic debugging (also called declarative debugging) is a debugging technique that compares the results of sub-computations with what the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computer program
Correctness (computer science)
Formal specification
Logic programming
Expand
Broader (1)
Debugging
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Towards Practical Tabled Abduction Usable in Decision Making
A. Saptawijaya
,
L. Pereira
2013
Corpus ID: 7644415
Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as…
Expand
2012
2012
Declarative Debugging of Wrong and Missing Answers for SQL Views
R. Caballero
,
Y. García-Ruiz
,
F. Sáenz-Pérez
Fuji International Symposium on Functional and…
2012
Corpus ID: 18862571
This paper presents a debugging technique for diagnosing errors in SQL views. The debugger allows the user to specify the error…
Expand
2007
2007
Declarative Debugging of Maude Functional Modules
R. Caballero
,
Narciso Martí Oliet
,
A. Rodríguez
,
J. López
2007
Corpus ID: 62464841
We introduce a declarative debugger for Maude functional modules, which correspond to executable specifications in membership…
Expand
2006
2006
JavaDD: a Declarative Debugger for Java
B. Jayaraman
,
Hani Z. Girgis
2006
Corpus ID: 14037586
paper presents a declarative approach to the debugging of object-oriented programs and illustrates the methodology through an…
Expand
2003
2003
Practical aspects of declarative debugging in Haskell 98
B. Pope
,
L. Naish
ACM-SIGPLAN International Conference on…
2003
Corpus ID: 15004256
Non-strict purely functional languages pose many challenges to the designers of debugging tools. Declarative debugging has long…
Expand
Review
2003
Review
2003
An Overview of the SWI-Prolog Programming Environment
J. Wielemaker
Workshop on Logic Programming Environments
2003
Corpus ID: 5065685
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article…
Expand
Highly Cited
2003
Highly Cited
2003
Discovering Algebraic Specifications from Java Classes
Johannes Henkel
,
Amer Diwan
European Conference on Object-Oriented…
2003
Corpus ID: 1131793
We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class…
Expand
2002
2002
A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada…
M. Alpuente
,
Franciso Correa
,
M. Falaschi
2002
Corpus ID: 919491
Highly Cited
1997
Highly Cited
1997
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging
H. Nilsson
,
Jan Sparud
International Conference on Automated Software…
1997
Corpus ID: 1156063
Lazy functional languages are declarative and allow the programmer to write programs where operational issues such as the…
Expand
1992
1992
Declarative Debugging of Lazy Functional Programs
L. Naish
LPE
1992
Corpus ID: 16238829
We show how declarative (or algorithmic) debugging can be applied to lazy functional programming and describe a prototype…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE