Commutativity Simplifies Proofs of Parameterized Programs.
Azadeh FarzanDominik KlumppAndreas PodelskiPublished 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