Commutativity Simplifies Proofs of Parameterized Programs.

Azadeh Farzan Dominik Klumpp Andreas Podelski

Published in: CoRR (2023)

Keyphrases

computer programs
theorem proving
automatic programming
control program
databases
information technology
social networks
database systems
learning environment
control structures