3688 search results - page 196 / 738 » Static analysis of aspects |
184
click to vote
ESOP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
152
click to vote
SEC
2008
15 years 8 months ago
2008
ASTRA is a security analysis method based on the systematic collection and analysis of security relevant information to detect inconsistencies and assess residual risks. ASTRA can ...
182
click to vote
ISORC
2008
IEEE
16 years 29 days ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
167
click to vote
WCRE
2008
IEEE
16 years 29 days ago
2008
IEEE
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
183
click to vote
WCRE
2006
IEEE
16 years 17 days ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...