506 search results - page 20 / 102 » Where Is the Value in a Program Verifier |
ICFP
2007
ACM
16 years 12 days ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
207
Voted
POPL
2006
ACM
16 years 23 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
102
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
ICSE
2005
IEEE-ACM
16 years 16 days ago
2005
IEEE-ACM
Which is the defect that causes a software failure? By comparing the program states of a failing and a passing run, we can identify the state differences that cause the failure. H...