1411 search results - page 171 / 283 » A Value Analysis for C Programs |
128
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
138
click to vote
CEFP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
133
click to vote
ICSM
2006
IEEE
15 years 11 months ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
137
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
168
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...