𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Rewriting Machine and Optimization of Strategies of Term Rewriting

✍ Scribed by A.A. Letichevskii; V.V. Khomenko

Book ID
110411599
Publisher
Springer US
Year
2002
Tongue
English
Weight
47 KB
Volume
38
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Survey of Rewriting Strategies in Prog
A Survey of Rewriting Strategies in Program Transformation Systems
✍ Eelco Visser πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 415 KB

Program transformation is used in a wide range of applications including compiler construction, optimization, program synthesis, refactoring, software renovation, and reverse engineering. Complex program transformations are achieved through a number of consecutive modifications of a program. Transfo

Termination of term rewriting: interpret
Termination of term rewriting: interpretation and type elimination
✍ H. Zantema πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 886 KB

We investigate proving termination of term rewriting systems by interpretation of terms in a well-founded monotone algebra. The well-known polynomial interpretations can be considered as a particular case in this framework. A classification of types of termination, including simple termination, is p