256
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-article

      ,

      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

            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.

            Content

            Author and article information

            Conference
            September 1997
            September 1997
            : 1-12
            Affiliations
            [0001]LORIA & UHP

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

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

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

            http://www.loria.fr/equipes/protheo
            Article
            10.14236/ewic/AL1997.11
            a9e7abd7-ca34-48c9-88f2-7a2141597628
            © 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