1760 search results - page 168 / 352 » Program Analysis Using Weighted Pushdown Systems |
136
Voted
RE
2006
Springer
15 years 21 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
116
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
144
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
178
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
102
Voted
ACSAC
2007
IEEE
15 years 7 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...