zbMATH — the first resource for mathematics

Term rewriting with operator evaluation strategies. (English) Zbl 0917.68113
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. 5 (1998).
Summary: We consider a number of problems which arise when performing term rewriting in algebraic specifications with each operator having an evaluation strategy for its arguments. Each problem is illustrated with an OBJ3 example. We propose a solution developed for the evaluation of functional modules in the Maude interpreter which is based on maintaining an invariant on the term graph by copying subgraphs where necessary. An executable Maude specification of this technique is presented.
For the entire collection see [Zbl 0903.00070].

68Q42 Grammars and rewriting systems
68Q65 Abstract data types; algebraic specification
OBJ3; Maude
Full Text: Link