291
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Specification of Rewriting Strategies

      proceedings-article
      1 , 3 , , 2 , 3 ,
      Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (AS)
      Theory and Practice of Algebraic Specifications
      25-26 September 1997
      Bookmark

            Abstract

            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
            Conference
            September 1997
            September 1997
            : 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
            10.14236/ewic/AL1997.9
            b0acde54-9997-4589-9c3e-e837b1b4940c
            © Sebastiaan P. Luttik et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam

            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/

            Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications
            AS
            2
            Amsterdam
            25-26 September 1997
            Electronic Workshops in Computing (eWiC)
            Theory and Practice of Algebraic Specifications
            Product
            Product Information: 1477-9358BCS 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/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article