139
click to vote
CADE
2006
Springer
15 years 9 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
160
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...