1023 search results - page 103 / 205 » A Formal Method for Program Slicing |
TOMS
2008
15 years 1 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
240
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
105
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
100
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
113
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...