4722 search results - page 40 / 945 » Representation-independent program analysis |
JMLR
2012
11 years 10 months ago
2012
The Fukushima Daiichi disaster 11 March, 2011 is considered the largest nuclear accident since the 1986 Chernobyl disaster and has been rated at level 7 on the International Nucle...
IEEEARES
2009
IEEE
13 years 5 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
PPDP
2007
Springer
14 years 1 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 ...
ECOOP
1998
Springer
13 years 12 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...
CEC
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper studies the difference between Persistent Random Constants (PRC) and Digit Concatenation as methods for generating constants. It has been shown that certain problems hav...