6149 search results - page 393 / 1230 » Revealing the programming process |
141
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
167
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
195
click to vote
RE
2004
Springer
16 years 5 days ago
2004
Springer
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer...
210
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Massive gene expression changes in different cellular states measured by microarrays, in fact, reflect just an "echo" of real molecular processes in the cell...
203
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...