Filters








101,531 Hits in 3.6 sec

Debugging Functional Programs

Markus Stumptner, Franz Wotawa
1999 International Joint Conference on Artificial Intelligence  
The key concept is that the notion of expression replacement, which is the basis for repairing a program, can also serve as a fundamental heuristic for searching the source of an error.  ...  In this paper, we use a logic-based system description for a simple (non-logic) functional language to examine the ways in which a diagnosis system can use its system description to improve debugging performance  ...  program debugging techniques such as [Shapiro, 1983; Fritzson and Nilsson, 19941, and this is already the case with a straightforward application of the standard diagnosis approach to debugging.  ... 
dblp:conf/ijcai/StumptnerW99 fatcat:v5fz2zqqz5cctngy6squ34s5aq

Debugging concurrent programs

Charles E. McDowell, David P. Helmbold
1989 ACM Computing Surveys  
This paper discusses these and other problems related to debugging concurrent programs and presents a survey of current techniques used in debugging concurrent programs.  ...  The main problems associated with debugging concurrent programs are increased complexity, the "probe effect," nonrepeatability, and the lack of a synchronized global clock.  ...  Government (Ada Joint Program Office). programs even harder than debugging sequential programs.  ... 
doi:10.1145/76894.76897 fatcat:67jxy3s6h5hk7bsoz2anxocqim

Debugging constraint programs [chapter]

Micha Meier
1995 Lecture Notes in Computer Science  
A not immediately obvious consequence of this fact is that debugging CP programs is principally different from debugging algorithmic programs, including imperative, functional or Prolog programs.  ...  The whole area of CP debugging is still lacking both methodology and tools to support users in improving their programs.  ...  A consequence of these facts is that debugging CP programs is inherently different from debugging algorithmic programs: Debugging algorithmic programs is itself also algorithmic, it can follow a particular  ... 
doi:10.1007/3-540-60299-2_13 fatcat:z44jz6kfn5aqhd6drblrwjvroy

Debugging for reactive programming

Guido Salvaneschi, Mira Mezini
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
debugging reactive programs.  ...  We analyze the problem of debugging reactive programs, show that the reactive style requires a paradigm shift in the concepts needed for debugging, and propose RP Debugging, a methodology for effectively  ...  RP DEBUGGING AT WORK In this section, we discuss common issues in RP programs and the use of RP Debugging to solve them.  ... 
doi:10.1145/2884781.2884815 dblp:conf/icse/SalvaneschiM16 fatcat:2kgm6ihpebbmncnrecrivmxxom

Mathematical programming based debugging

Leo Liberti, Stéphane Le Roux, Jeremy Leconte, Fabrizio Marinelli
2010 Electronic Notes in Discrete Mathematics  
We present a mathematical program that determines guaranteed smallest interval invariants of computer programs with integer affine arithmetics and compare our results to existing techniques.  ...  Abstract interpretation is used in the static analysis of code to establish the inclusion-wise smallest set of values (numerical invariant) that the program variables can attain during program execution  ...  semantics) that the program variables can take at each control point of the program during the whole execution.  ... 
doi:10.1016/j.endm.2010.05.166 fatcat:nerpecbjyzgpzg7k2aragu5koy

Interactive Debugging of ASP Programs [article]

Kostyantyn Shchekotykhin
2014 arXiv   pre-print
Program debugging is one of the crucial activities within this process. Recently suggested ASP debugging approaches allow efficient computation of possible explanations of a fault.  ...  In this paper we present an interactive query-based ASP debugging method which extends previous approaches and finds a preferred explanation by means of observations.  ...  The same methodology can be applied to debugging and testing of ASP programs.  ... 
arXiv:1403.5142v4 fatcat:ac7kpqjapzdsvclqdyujjdytzm

Replay debugging: Leveraging record and replay for program debugging

Nima Honarmand, Josep Torrellas
2014 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)  
Hardware-assisted Record and Deterministic Replay (RnR) of programs has been proposed as a primitive for debugging hard-to-repeat software bugs.  ...  The first one is compiler support to split the instrumented application into two executables: one that is identical to the original program binary, and another that encapsulates all the added debug code  ...  Inline Debug Code in the Program Code Programmers typically inline debug code in the program code, as if it were part of the main program.  ... 
doi:10.1109/isca.2014.6853229 dblp:conf/isca/HonarmandT14 fatcat:s2fbzkydafdhxjwisolglnexvm

Cognitive process during program debugging

Shaochun Xu, V. Rajlich
2004 Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004.  
Program debugging is a critical and complex activity in software engineering. Accurate and fast debugging leads to high quality software and a short time-to-market.  ...  The involvement of the higher levels of Bloom's taxonomy, such as synthesis and evaluation, indicates that program debugging is a difficult cognitive task.  ...  Program debugging involves a complex cognitive process and requires comprehension of both program behavior and program structure. Debugging is similar to a diagnosis done by a medical doctor.  ... 
doi:10.1109/coginf.2004.1327473 dblp:conf/IEEEicci/XuR04 fatcat:5zjdsmwmubgl7o5o2pcfcy57ei

Reversible Debugging in Logic Programming [article]

Germán Vidal
2022 arXiv   pre-print
In this work, we propose a reversible debugging scheme for logic programs.  ...  Reversible debugging is becoming increasingly popular for locating the source of errors.  ...  In this work, we consider reversible debugging in logic programming [7] .  ... 
arXiv:2007.16171v2 fatcat:hkmvyqg3fjcmzhmelsmw7fqugu

Visual steering for program debugging

Robert F. Erbacher, Robert F. Erbacher, Philip C. Chen, Jonathan C. Roberts, Craig M. Wittenbrink
2000 Visual Data Exploration and Analysis VII  
tested and debugged.  ...  However, debugging technology has not kept pace and valuable programmer resources are being wasted in debugging cycles.  ...  These techniques are geared towards aiding the analysis and debugging process and not merely for program learning.  ... 
doi:10.1117/12.378886 fatcat:vlb5oc5a4jhntbc4pb6hvoydku

Statistical Debugging of Sampled Programs

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken
2003 Neural Information Processing Systems  
It has analogies with intuitive debugging heuristics, and, as we demonstrate, is able to deal with various types of bugs that occur in real programs.  ...  We present a novel strategy for automatically debugging programs given sampled data from thousands of actual user runs. Our goal is to pinpoint those features that are most correlated with crashes.  ...  Introduction No software is perfect, and debugging is a resource-consuming process. Most users take software bugs for granted, and willingly run buggy programs every day with little complaint.  ... 
dblp:conf/nips/ZhengJLA03 fatcat:4cdpyrqwvnfy7inb6xyef4qozm

Algorithmic Debugging of Java Programs

R. Caballero, C. Hermanns, H. Kuchen
2007 Electronical Notes in Theoretical Computer Science  
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative languages.  ...  We comment the several new issues that arise when using this debugging technique, traditionally applied to declarative languages, to a completely different paradigm and propose several possible improvements  ...  The idea of using declarative debugging out of declarative programming is not new. In 1989 N. Shahmehri and P.  ... 
doi:10.1016/j.entcs.2007.01.005 fatcat:vh7s373c4nbd3ogn73wyhvegtq

Understanding and debugging novice programs

W.Lewis Johnson
1990 Artificial Intelligence  
The technique used involves generating possible goal decompositions for the program, matching them against the program, and then proposing bugs and misconceptions to explain the mismatches.  ...  Accurate identification and explication of program bugs requires an understanding of the programmer's intentions.  ...  Introduction Learning to program is a time-consuming and frustrating process for most novice programmers. One reason for this is that they have to expend so much effort in debugging their programs.  ... 
doi:10.1016/0004-3702(90)90094-g fatcat:uxhasl33qrffnnzms6csxlo4xq

Hardware Diagnosis as Program Debugging

Ajay Gupta
1987 International Joint Conference on Artificial Intelligence  
This paper discusses how these representations can be used to diagnose faulty circuits using algorithmic program debugging techniques developed by Shapiro.  ...  Thus there is a complete duality between the knowledge available with the program debugging and hardware diagnosis systems. in order to map hardware diagnosis onto program debugging we only need to recognise  ...  Ill OVERVIEW OF MIS The program debugging techniques in MIS apply when the programmer has a program P that on input x returns an Incorrect output y.  ... 
dblp:conf/ijcai/Gupta87 fatcat:pdbctgrkkzg3zdptsaa7g5jdhm

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact) [article]

Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers, Manuel Rigger, Maria Christakis
2019 Dagstuhl Artifacts Series (DARTS)  
As a solution, we propose multiverse debugging, a new approach for debugging non-deterministic programs that allow developers to observe all possible execution paths of a parallel program and debug it  ...  We introduce the concepts of multi-2012 ACM Subject Classification Software and its engineering → Concurrent programming languages; Software and its engineering → Software testing and debugging  ...  The key idea of multiverse debugging is that non-deterministic programs require non-deterministic debugging.  ... 
doi:10.4230/darts.5.2.4 dblp:journals/darts/SinghLMBS19 fatcat:bfeiw6jhurformk5ylx2cuzbgq
« Previous Showing results 1 — 15 out of 101,531 results