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

Patrick Lam, Martin C. Rinard. A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. In Luca Cardelli, editor, ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Volume 2743 of Lecture Notes in Computer Science, pages 275-302, Springer, 2003. [doi]

Authors

Patrick Lam

This author has not been identified. Look up 'Patrick Lam' in Google

Martin C. Rinard

This author has not been identified. Look up 'Martin C. Rinard' in Google