11740 search results - page 206 / 2348 » More Problems in Rewriting |
245
click to vote
LPAR
2004
Springer
16 years 12 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
187
Voted
OOPSLA
2004
Springer
16 years 12 days ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
203
click to vote
SEM
2004
Springer
16 years 12 days ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
167
click to vote
CSMR
2003
IEEE
16 years 10 days ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
193
click to vote
WIDM
2003
ACM
16 years 9 days ago
2003
ACM
Whenever XML data must be shared by heterogeneous applications, transformations between different applicationspecific XML formats are necessary. The state-of-the-art method transf...