Abstract | ||
---|---|---|
We extend the Abadi-Cardelli calculus of primitive objects with object extension. We enrich object types with a more precise, uniform, and flexible type structure. This enables to type abject extension under both width and depth subtyping. Objects may also have extend-only or virtual contra-variant methods and read-only co;variant methods. The resulting subtyping relation is richer, and types of objects can be weaken progressively from a class level to a more traditional object level along the subtype relationship. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/BFb0053572 | ESOP |
Field | DocType | Volume |
Operational semantics,Programming language,Formal language,Object-oriented programming,Method,Computer science,Object type,Type inference,Theoretical computer science,Parsing,Subtyping | Conference | 1381 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-64302-8 | 18 |
PageRank | References | Authors |
0.98 | 16 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Didier Rémy | 1 | 682 | 49.82 |