Capability Safety as Datalog: A Foundational Equivalence
arXiv:2603.26725v1 Announce Type: cross
Abstract: We prove that capability safety admits an exact representation as propositional Datalog evaluation (Datalogprop: the monadic, ground, function-free fragment of first-order logic), enabling the transfer…