561 search results - page 3 / 113 » Slicing of Constraint Logic Programs |
121
click to vote
SIGSOFT
2007
ACM
16 years 9 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
EUSFLAT
2009
14 years 9 months ago
2009
POPL
1995
ACM
15 years 3 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
LISP
2008
14 years 11 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...