15 search results - page 1 / 3 » Source-level debugging with the whyline |
TAPSOFT
1995
Springer
13 years 8 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
ISSS
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
CHI
2004
ACM
14 years 5 months ago
2004
ACM
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
CHI
2009
ACM
14 years 5 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...