494 search results - page 57 / 99 » Static Analysis for Guarded Code |
108
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
101
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
118
Voted
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
148
Voted
ASIAN
2009
Springer
15 years 11 days ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
117
click to vote
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...