3688 search results - page 106 / 738 » Static analysis of aspects |
138
click to vote
IWPSE
2003
IEEE
15 years 5 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
WCET
2008
15 years 1 months ago
2008
We have developed a new programming paradigm which, for conforming programs, allows the averagecase execution time (ACET) to be obtained automatically by a static analysis. This i...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...