792 search results - page 57 / 159 » Static Analysis of XSLT Programs |
117
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
87
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
109
Voted
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
212
click to vote
CC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
102
click to vote
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...