132
Voted
DAC
2004
ACM
15 years 7 months ago
2004
ACM
117
Voted
CADE
2006
Springer
15 years 7 months ago
2006
Springer
127
Voted
CADE
2006
Springer
15 years 7 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...
143
Voted
DAC
2004
ACM
15 years 7 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...
112
Voted
CADE
2006
Springer
15 years 7 months ago
2006
Springer