500 search results - page 85 / 100 » ACD Term Rewriting |
LCTRTS
2005
Springer
14 years 27 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
DOLAP
2004
ACM
14 years 25 days ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
CADE
2004
Springer
14 years 24 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
LPAR
2004
Springer
14 years 23 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 ...
OOPSLA
2004
Springer
14 years 23 days ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...