Commutativity Simplifies Proofs of Parameterized Programs.

Azadeh Farzan Dominik Klumpp Andreas Podelski

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

computer programs
theorem proving
mathematical proofs
machine learning
formal proofs

formal proof
control structures
update operations
automatic programming
programming environment

theorem prover
answer sets
logic programs
programming language

artificial neural networks
search algorithm
case study
information systems