Semantic subtyping for imperative object-oriented languages.

Davide Ancona, Andrea Corradi

Browse the full OOPSLA paper archive.