Commutativity Simplifies Proofs of Parameterized Programs

Azadeh Farzan, Dominik Klumpp, Andreas Podelski. Commutativity Simplifies Proofs of Parameterized Programs. Proceedings of the ACM on Programming Languages, 8(POPL):2485-2513, January 2024. [doi]

Abstract

Abstract is missing.