352 search results - page 10 / 71 » Evaluating the imprecision of static analysis |
123
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
USS
2004
15 years 1 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
SCAM
2007
IEEE
15 years 6 months ago
2007
IEEE
Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast ...
MLMI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Static documents play a central role in multimodal applications such as meeting recording and browsing. They provide a variety of structures, in particular thematic, for ...
101
click to vote
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...