494 search results - page 74 / 99 » Static Analysis for Guarded Code |
147
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
135
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...
122
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
158
Voted
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
143
Voted
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...