4725 search results - page 70 / 945 » Dependence-Based Program Analysis |
122
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
125
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
121
click to vote
KI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
100
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
134
click to vote
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...