Modular Reasoning in the Presence of Subclassing.

Raymie Stata, John V. Guttag

Browse the full OOPSLA paper archive.