A compiler for rewrite programs in associative-commutative theories

We address 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 matching method is based on the construction of compact bipartite graphs, and is designed for w...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Moreau, Pierre-Etienne, Kirchner, Hélène
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	AC many-to-one matching AC theories Applied sciences compilation Computer science control theory systems Exact sciences and technology Information retrieval. Graph Language theory and syntactical analysis rewrite systems Software Software engineering Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!