Matrix interpretations revisited

Pierre Courtieu (1) , Gladys Gbedo , Olivier Pons (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

This paper presents a generalization of the matrix interpretation orderings used to prove the termination of term rewriting systems. This extension allows for more orderings and more matrices without increasing the search space.

Domaines: Informatique [cs]; Langage de programmation [cs.PL]

Pierre Courtieu, Gladys Gbedo, Olivier Pons. Matrix interpretations revisited. Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4. ⟨hal-01125629⟩