Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 34-36 of 3794
-
Automatic Detection and Repair of Errors in Data Structures
(2002-12)We present a system that accepts a specification of key data structure constraints, then dynamically detects and repairs violations of these constraints. Our experience using our system indicates that the specifications ...
