Browsing LCS Technical Reports (1974 - 2003) by Author "Lam, Patrick"
Now showing items 1-1 of 1
-
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
Lam, Patrick; Rinard, Martin (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 ...