Concurrent incorrectness separation logic.

Azalea Raad Josh Berdine Derek Dreyer Peter W. O'Hearn

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

Keyphrases

modal logic
classical logic
predicate logic
logic programming
multi valued
information retrieval
information systems
bayesian networks
logical framework
digital circuits
formal theory
concurrent execution