792 search results - page 6 / 159 » Static Analysis of XSLT Programs |
APSEC
1995
IEEE
13 years 12 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
ECOOP
2001
Springer
14 years 28 days ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...