Integrity Constraint Verification of Structured Query Language by Abstract Interpretation.

Anwesha Kashyap, Angshuman Jana

Browse the full CIT paper archive.