CoLL

CoLL: a confluence tool for left-linear term rewrite systems. We present a confluence tool for left-linear term rewrite systems. The tool proves confluence by using Hindley’s commutation theorem together with three commutation criteria, including Church-Rosser modulo associative and/or commutative theories. Despite a small number of its techniques, experiments show that the tool is comparable to recent powerful confluence tools.

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Shintani, Kiraku; Hirokawa, Nao: CoLL: a confluence tool for left-linear term rewrite systems (2015)