LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime.

Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar

Browse the full IDEAS paper archive.