404 search results - page 38 / 81 » Multi-dimensional Dynamic Logic Programming |
122
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
121
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
113
click to vote
LISP
2008
15 years 1 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
111
click to vote
AAAI
2008
15 years 4 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
131
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...