514 search results - page 53 / 103 » Dependency Analysis of Ada Programs |
144
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on put...
159
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
133
Voted
DAGSTUHL
2001
15 years 5 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
142
Voted
DC
2010
15 years 3 months ago
2010
Consider a distributed system N in which each agent has an input value and each communication link has a weight. Given a global function, that is, a function f whose value depends...
157
Voted
RE
2006
Springer
15 years 3 months 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...