1411 search results - page 139 / 283 » A Value Analysis for C Programs |
122
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
123
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
106
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Research in evolution requires software for visualizing and editing phylogenetic trees, for increasingly very large datasets, such as arise in expression analysis or m...
126
click to vote
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
140
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...