957 search results - page 15 / 192 » Modular Static Program Analysis |
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
EUROPAR
2003
Springer
14 years 4 months ago
2003
Springer
ACE
2004
14 years 9 days ago
2004
A recent industry survey (Townhidnejad and Hilburn, 2002) has reported that more than fifty percent of a software project's budget is spent on activities related to improving...
POPL
2003
ACM
14 years 11 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
DIMVA
2006
14 years 9 days ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...