Stratified Commutativity in Verification Algorithms for Concurrent Programs.

Azadeh Farzan Dominik Klumpp Andreas Podelski

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

Keyphrases

building blocks
machine learning
artificial intelligence
relational databases
computer systems
software systems