Semantic Subtyping for Objects and Classes

Ornela Dardha, Daniele Gorla, Daniele Varacca. Semantic Subtyping for Objects and Classes. Comput. J., 60(5):636-656, 2017. [doi]

Abstract

Abstract is missing.