- Record: found
- Abstract: found
- Conference Proceedings: found
Compilation Techniques for Associative-Commutative Normalisation
proceedings-article
Pierre-Etienne Moreau , Hélène Kirchner
September 1997
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
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
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 (article page):
https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/AL1997.11
Self URI (journal page):
https://ewic.bcs.org/
Categories
Electronic Workshops in Computing