3688 search results - page 132 / 738 » Static analysis of aspects |
156
click to vote
ACL
2004
15 years 7 months ago
2004
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature structure grammars (TFSGs). The static analysis tries to p...
168
click to vote
SERP
2004
15 years 7 months ago
2004
One of the biggest problems of software development is the management of software quality, both in terms of defects and easiness of maintenance. Software production and evolution ...
148
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
173
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
155
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...