Search
Now showing items 1-6 of 6
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 ...
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 ...
Write Barrier Removal by Static Analysis
(2002-02)
A Type System for Safe Region-Based Memory Management in Real-Time Java
(2002-11)
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real time constraints. Real-time threads use immortal memory and region-based memory management to avoid unbounded pauses ...