22 search results - page 5 / 5 » Control-flow analysis of function calls and returns by abstr... |
EMSOFT
2007
Springer
14 years 15 days 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...
NDQA
2003
13 years 7 months ago
2003
Research on Question Answering has produced an arsenal of useful techniques for detecting answers that are explicitly present in the text of a collection of documents. To move bey...