Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic.

Ike Mulder Lukasz Czajka Robbert Krebbers

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

Keyphrases

fine grained
coarse grained
access control
search algorithm
logic programming
modal logic
tightly coupled
constraint satisfaction
information retrieval
massively parallel
bayesian networks
concurrency control
databases