SAS
13 years 11 months ago
2004 Springer  SAS
13 years 11 months ago
2004 Springer 
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
SAS
13 years 11 months ago
2004 Springer 
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
SAS
13 years 11 months ago
2004 Springer 
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
SAS
13 years 11 months ago
2004 Springer 
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
|
Formal Methods