4716 search results - page 637 / 944 » Iterative-free program analysis |
232
click to vote
COOPIS
1998
IEEE
15 years 10 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
154
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...
175
click to vote
IWPC
1998
IEEE
15 years 10 months ago
1998
IEEE
Rapid system understanding is required in the planning, feasibility assessment and cost estimating phases of a system renovation project. In this paper, we apply a number of analy...
157
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
191
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...