Specification of Rewriting Strategies ∗

User-definable strategies for the application of rewrite rules provide a means to construct transformation systems that apply rewrite rules in a controlled way. This paper describes a strategy language and its interpretation. The language is used to control the rewriting of terms using labeled rewrite rules. Rule labels are atomic strategies. Compound strategies are formed by means of sequential composition, nondeterministic choice, left choice, fixed point recursion, and two primitives for expressing term traversal. Several complex strategies such as bottom-up and top-down application and (parallel) innermost and (parallel) outermost reduction can be defined in terms of these primitives. The paper contains two case studies of the application of strategies.

Content

Author and article information

Contributors

Sebastiaan P. Luttik

Eelco Visser

Conference

Publication date: September 1997

Publication date (Print): September 1997

Pages: 1-16

Affiliations

[1 ]CWI, P.O. Box 94079, NL-1090 GB Amsterdam, The Netherlands

Kruislaan 403, NL-1098 SJ Amsterdam, The Netherlands

[2 ]OGI, P.O. Box 91000, Portland, Oregon 97291-1000, USA

Kruislaan 403, NL-1098 SJ Amsterdam, The Netherlands

[3 ]Programming Research Group, University of Amsterdam

Kruislaan 403, NL-1098 SJ Amsterdam, The Netherlands

[† ]Project 612-33-008: A Modular Toolset for μCRL developed using μCRL.

[‡ ]Project 612-317-420: Incremental parser generation and context-sensitive disambiguation: a multi-disciplinary perspective

Article

DOI: 10.14236/ewic/AL1997.9

SO-VID: b0acde54-9997-4589-9c3e-e837b1b4940c

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications

Conference acronym: AS

Conference number: 2

Conference location: Amsterdam

Conference date: 25-26 September 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Theory and Practice of Algebraic Specifications

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/AL1997.9

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Specification of Rewriting Strategies ^∗

Abstract