Search
Now showing items 1-1 of 1
On Field Constraint Analysis
(2005-11-03)
We introduce field constraint analysis, a new technique for verifying data structure invariants. A field constraint for a field is a formula specifying a set of objects to which the field can point. Field constraints ...