1023 search results - page 159 / 205 » A Formal Method for Program Slicing |
146
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
145
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
169
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
128
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
161
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...