Fine-Grained Complexity of Safety Verification.

Peter Chini Roland Meyer Prakash Saivasan

Published in: CoRR (2018)

Keyphrases

fine grained
coarse grained
access control
tightly coupled
worst case
databases