2673 search results - page 213 / 535 » Guided Static Analysis |
116
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
141
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
138
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
127
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
137
click to vote
COMAD
2009
15 years 5 months ago
2009
Positional analysis is considered an important tool in the analysis of social networks. It involves partitioning of the set of actors into subsets such that actors in a subset are...