Erroneous program

In the design of programming languages, an erroneous program is one whose semantics are not well-defined, but where the language implementation is… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1983-2016
02419832016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Declarative debuggers are semi-automatic debugging tools that abstract the execution details to focus on the program semantics… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2013
2013
In the realm of embedded critical systems, it is crucial to guarantee the correctness of programs before they are deployed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2011
2011
Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in… (More)
Is this relevant?
2008
2008
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2006
2006
Our goal is an automatic, compile-time and incremental technique to compute corrections to safety property violations in a… (More)
  • figure 1
  • figure 7
  • figure 5
  • figure 12
  • figure 11
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We aim to improve reliability of multithreaded programs by proposing a dynamic detector that detects potentially erroneous… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
1997
1997
Finding errors in non-deterministic programs is complicated by the fact that a bug may be revealed only by a particular sequence… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
MrSpidey is a user friendly interactive static debugger for Scheme A static debugger supplements the stan dard debugger by… (More)
  • figure I
  • figure V
  • figure V
Is this relevant?
1996
1996
MrSpidey is a user-friendly, interactive static debugger for Scheme. A static debugger supplements the standard debugger by… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The starting point of this paper is the “algorithmic program debugging” method of Shapiro [7,8]. The idea is that of a system… (More)
Is this relevant?