An Abstract Domain for Heap Commutativity (Extended Version)

Jared Pincus, Eric Koskinen

Commutativity of program code (i.e. the equivalence of two code fragments composed in alternate orders) is of ongoing interest in many settings such as program verification, scalab…