Computer Engineering Commons^™

Towards Simpler Description Of Properties Like Commutativity And Associativity: Using Expression Fragments, Shubhra Datta, Valeria Fierro, Krasen Petrov, Jessica Romo, Gesuri Ramirez, Cesar Valenzuela

Departmental Technical Reports (CS)

Properties like commutativity and associativity are very important in many applications. To make detecting these properties easier, it is desirable to reformulate them in the simplest possible way. A known way to simplify these descriptions is to use postfix notations, in which there is no need to use parentheses. We show that some of these properties can be further simplified if we represent them as equalities not between well-defined expressions, but as equalities between expression fragments.