Index Terms
- Rewrite rules for nested integrals
Recommendations
Program Transformation with Scoped Dynamic Rewrite Rules
Program Transformation: Theoretical Foundations and Basic Techniques. Part 2The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable rewriting ...
Formalization and abstract implementation of rewriting with nested rules
PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programmingThis paper formalizes term rewriting systems (TRSs), called scoped, in which a rewrite rule can be nested within another rewrite rule. The right-hand side and/or the condition of a nested rule can refer to any variable in the left-hand side of a nesting ...
Usable Rules for Context-Sensitive Rewrite Systems
RTA '08: Proceedings of the 19th international conference on Rewriting Techniques and ApplicationsRecently, the dependency pairs (DP) approach has been generalized to context-sensitive rewriting (CSR). Although the context-sensitive dependency pairs (CS-DP) approach provides a very good basis for proving termination of CSR, the current ...
Comments