An Abstract Domain for Heap Commutativity
J Pincus, E Koskinen - … Conference on Verification, Model Checking, and …, 2025 - Springer
Commutativity of program code (ie the equivalence of two code fragments composed in
alternate orders) is of ongoing interest in many settings such as program verification …
alternate orders) is of ongoing interest in many settings such as program verification …