Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,490,755 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.
2016
2016
Técnicas de detección y diagnosis de errores en consultas de bases de datos
Yolanda García Ruiz
2016
Corpus ID: 169921439
El objetivo de esta tesis es el diseno y desarrollo de tecnicas para la deteccion y diagnosis de errores en el campo de las bases…
Expand
2015
2015
E-EDD: integración en Eclipse del depurador declarativo para Erlang EDD
Joel Sánchez Pedroza
2015
Corpus ID: 170836474
El presente trabajo tiene como finalidad el proporcionar una interfaz de depuracion declarativa de facil uso e interaccion para…
Expand
2010
2010
Let ’ s Break the Rules : Interactive Procedural-Style Debugging of Answer-Set Programs ?
J. Oetsch
,
Jörg Pührer
,
H. Tompits
2010
Corpus ID: 14762719
We introduce an interactive procedural-style debugging approach for answer-set programs that avoids the negative aspects of non…
Expand
2009
2009
Declarative Debugging of Missing Answers in Rewriting Logic
A. Verdejo
,
N. Mart
2009
Corpus ID: 18324149
Rewriting logic is a logic of change, where rewrites correspond to transitions between states. One of the main characteristics of…
Expand
2004
2004
Discovering Algebraic Specifications for Java Classes ; CU-CS-985-04
Johannes Henkel
,
Christoph Reichenbach
,
A. Diwan
2004
Corpus ID: 267888280
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications…
Expand
2004
2004
Under Consideration for Publication in Theory and Practice of Logic Programming a Three-valued Semantics for Logic Programmers
L. Naish
2004
Corpus ID: 265975275
This paper describes a simpler way for programmers to reason about the correctness of their code. The study of semantics of logic…
Expand
2000
2000
Using Model-Based Reasoning for Locating Faults in VHDL Designs
M. Stumptner
,
Franz Wotawa
Künstliche Intell.
2000
Corpus ID: 718175
Model-based reasoning has seen successful application in hardware oriented and physical domains and many models of physical…
Expand
2000
2000
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program
R. Caballero
,
F. J. López-Fraguas
,
M. Rodríguez-Artalejo
Workshop on Functional and Constraint Logic…
2000
Corpus ID: 16707879
Traditional debugging techniques are not well suited for lazy functional programming, because of the diicult-to-predict…
Expand
1998
1998
Debugging Systems for Constraint Programming ESPRIT 22532 Task T.WP3.4: Declarative Debugging in Constraint Programming Delivrable D.WP3.4.M2.1-3 Simplifiaction of Finite Domain Constraints
A. Tessier
1998
Corpus ID: 17529600
An important issue in Constraint Logic Programming (CLP) systems is how to output constraints in a usable form. Typically, only a…
Expand
1995
1995
Declarative debugging in Gödel
D. Binks
1995
Corpus ID: 37030600