Paper Info
Title
The movable point problem and its resolution in object type graphs
Abstract
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.
Year
DOI
Venue
2005
10.1145/1167253.1167322
ACM Southeast Regional Conference (2)
Keywords
Field
DocType
movable point problem,fundamental typing,object type graph,differentiate object,current object type system,object subtyping,object component interdependency,relevant type graph,object component,object type,conventional object type system,object oriented language,subtyping,type system,type,object oriented languages
Object-oriented design,Programming language,Object-based language,Object-oriented programming,Method,Object composition,Object type,Computer science,Object model,Theoretical computer science,Object Definition Language
Conference
ISBN
Citations 
PageRank 
1-59593-059-0
1
0.40
References 
Authors
10
2
Name
Order
Citations
PageRank
Cong-cong Xing15814.21
Boumediene Belkhouche25517.44