A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.

Patrick Lam, Martin C. Rinard

Browse the full ECOOP paper archive.