A Graph-Based Type Representation for Objects

Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of typed calculi where types are represented as a combination texts and symbols. Two aspects that are closely related to subtyping and inheritance

• Type: Journal
• Year: 2008
• Where: ECEASST
• Authors: Cong-Cong Xing
• Keywords: ECEASST 2008, Object Type, Object Type Graphs, Subtyping