Results 41 to 50 of about 27,292 (214)
Debugging Multithreaded Programs as if They Were Sequential
IEEE Access, 2018 Debugging multithread programs is extremely difficult because the basic assumption that underlies sequential program debugging, that is, the program behavior is deterministic under a fixed input, is no longer valid due to the nondeterminism attributed to
Xiaodong Zhang +6 more
doaj +1 more source
Industrial Evaluation of Integrated Performance Analysis and Equation Model Debugging for Equation-Based Models [PDF]
Modeling, Identification and Control, 2016 The ease of use and the high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that performance problems and modeling errors are often hard to find.
Åke Kinnander +2 more
doaj +1 more source
Display of Functional Values for Debugging [PDF]
, 2006 Functional values are used naturally in higher order functional programs, as they are commonly passed around or returned by other function. As such any debugger for these languages must be capable of conveying information about functional values to the ...
Davie, Thomas, Chitil, Olaf
core
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
, 1992 The searchfor better Prolog debugging environments has taken a number of dif- ferent paths of which three are particularly important: improvements to monitoring tools (notably the TransparentProlog Machine (Eisenstadt & Brayshaw, 1987)),pro- viding ...
Paul Brna +5 more
core +1 more source
Replay debugging: Leveraging record and replay for program debugging [PDF]
2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA), 2014 Hardware-assisted Record and Deterministic Replay (RnR) of programs has been proposed as a primitive for debugging hard-to-repeat software bugs. However, simply providing support for repeatedly stumbling on the same bug does not help diagnose it. For bug diagnosis, developers typically want to modify the code, e.g., by creating and operating on new ...
Nima Honarmand, Josep Torrellas
openaire +1 more source
Observing Functional Logic Computations [PDF]
, 2004 A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy) comprises a portable library plus a viewing tool.
Bernd Braßel +7 more
core +1 more source
Incremental Formula-Based Fix Localization
Applied Sciences, 2020 Automatically fixing bugs in software programs can significantly reduce the cost and improve the productivity of the software. Toward this goal, a critical and challenging problem is automatic fix localization, which identifies program locations where a ...
Quang-Ngoc Phung, Eunseok Lee
doaj +1 more source
Proving the Correctness of Algorithmic Debugging for Functional Programs [PDF]
, 2006 This paper formally presents a model of tracing for functional programs based on a small-step operational semantics. The model records the computation of a functional program in a graph which can be utilised for various purposes such as algorithmic ...
Luo, Yong +3 more
core
A Semantic Framework to Debug Parallel Lazy Functional Languages
Mathematics, 2020 It is not easy to debug lazy functional programs. The reason is that laziness and higher-order complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder ...
Alberto de la Encina +3 more
doaj +1 more source
Network-on-Multi-Chip (NoMC) with Monitoring and Debugging Support
Journal of Telecommunications and Information Technology, 2023 This paper summarizes recent research on network-on-multi-chip (NoMC) at Poznań University of Technology. The proposed network architecture supports hierarchical addressing and multicast transition mode.
Adam Łuczak +6 more
doaj +1 more source