LCS Publications: Recent submissions
Now showing items 31-33 of 1152
-
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 ... -
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
(2002-12)We present a new type system and associated type checker, analysis, and model extraction algorithms for automatically extracting models that capture aspects of the design of the program. Our type system enables the developer ...
