POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Foundations of object-oriented languages: types and semantics
Foundations of object-oriented languages: types and semantics
A Theory of Objects
The Definition of Standard ML
A lambda calculus of objects and method specialization
Nordic Journal of Computing
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Typed Lambda Calculus of Objects (Extended Abstract)
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Object type graphs
An algorithm for computing links
Proceedings of the 44th annual Southeast regional conference
| Hi-index | 0.00 |
Internal dependencies among object components characterize the behaviors of objects and differentiate objects from records. Fundamental typing/subtyping shortcomings and loopholes still persist in current object type systems due to the overlooking of such interdependencies. In this paper, we first identify a new movable point problem that exists in conventional object type systems. Then, as a new approach to the typing of object-oriented languages, we propose object type graphs (OTG) where object component interdependencies are integrated into object types. Object subtyping is subsequently defined by reasoning on the relevant type graphs. Finally, we show how the movable point problem can be easily resolved under OTG.