Return to Article Details Constraint Management in Database Applications via Checker Framework Download Download PDF