Représentation graphique des objets et sous-typage

Internal dependencies among object components characterize the behaviors of objects and differentiate them from records. Fundamental typing/subtyping shortcomings still persist in current object type systems due to the overlook of such object component interdependencies. In this paper, we propose object type graphs (OTG) as a new approach to the typing of object-oriented languages. Under OTG, object types are represented as colored directed graphs and object component interdependancies are formalized as computable links and integrated into object types. We show how problems in conventional object type systems can be easily resolved under OTG.