zbMATH — the first resource for mathematics

Term rewriting for sale. (English) Zbl 0917.68112
Kirchner, Claude (ed.) et al., International workshop on Rewriting logic and its applications. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 15, electronic paper No. 11 (1998).
Summary: Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: Huge sets of rewrite rules and gigantic terms to rewrite pose interesting challenges for implementors and theoreticians alike. We give a brief overview of the generation of term-rewriting-based tools as done in the ASF+SDF Meta-Environment and then we sketch two major applications of term rewriting: Transformation of legacy COBOL systems and compilation of ASF+SDF to C. Based on these experiences we suggest the study of topics that could further advance the use of term rewriting in industrial applications: Persistent term databases, generalized LR parsing versus parallel term rewriting, and coordination languages versus strategy languages. It will turn out that we have an “alien” view on research in term rewriting: Properties like confluence and termination are of very limited use when selling term rewriting to industry.
For the entire collection see [Zbl 0903.00070].

68Q42 Grammars and rewriting systems
term rewriting
Full Text: Link