386 search results - page 55 / 78 » Debugging Logic Programs Using Specifications |
125
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
105
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
107
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
104
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
114
click to vote
ENTCS
2008
15 years 2 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...