3688 search results - page 155 / 738 » Static analysis of aspects |
156
click to vote
FCA
2005
Springer
15 years 11 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
204
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
200
click to vote
OOPSLA
2007
Springer
16 years 11 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
143
click to vote
SIGCSE
2000
ACM
15 years 10 months ago
2000
ACM
The paper elucidates two views (models) of algorithmic problem solving. The first one is static; it is based on the identification of several principal dimensions of algorithmic p...
174
click to vote
PLDI
2006
ACM
16 years 6 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...