Blog
About

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

      Compilation Techniques for Associative-Commutative Normalisation

      ,

      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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We consider the problem of term normalisation modulo associative-commutative (AC) theories and describe several techniques for compiling many-to-one AC matching and reduced term construction. The proposed method, illustrated on three examples, is based on compact bipartite graphs, and is designed for working very efficiently on specific classes of AC patterns. Our experimental results provide strong evidence that compilation of many-to-one AC normalisation is a useful technique for improving the performance of algebraic programming languages.

          Related collections

          Most cited references 7

          • Record: found
          • Abstract: not found
          • Article: not found

          Completion of a Set of Rules Modulo a Set of Equations

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Complete Sets of Reductions for Some Equational Theories

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Complexity of matching problems

                Bookmark

                Author and article information

                Conference
                September 1997
                September 1997
                : 1-12
                Affiliations
                LORIA & UHP

                BP 101, 54602 Villers-les-Nancy CEDEX, FRANCE

                http://www.loria.fr/equipes/protheo
                LORIA & CNRS

                BP 101, 54602 Villers-les-Nancy CEDEX, FRANCE

                http://www.loria.fr/equipes/protheo
                Article
                10.14236/ewic/AL1997.11
                © Pierre-Etienne Moreau 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 (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article