957 search results - page 97 / 192 » Modular Static Program Analysis |
119
Voted
DAS
2006
Springer
15 years 6 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
109
click to vote
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
102
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
133
click to vote
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
133
click to vote
JAPLL
2010
15 years 23 days ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...