1880 search results - page 63 / 376 » A Static Analysis for Beta-Binders |
105
click to vote
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
113
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
ICDE
2005
IEEE
15 years 5 months ago
2005
IEEE
Web Search System exists to retrieve necessary information on the WWW space. However, these are not accuracy enough. Then, we propose the technique for using Web Page Grouping tog...
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...