The movable point problem and its resolution in object type graphs

Cong Cong Xing; Boumediene Belkhouche

doi:10.1145/1167253.1167322

The movable point problem and its resolution in object type graphs

Cong Cong Xing, Boumediene Belkhouche

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05
Pages	2315-2320
Number of pages	6
DOIs	https://doi.org/10.1145/1167253.1167322
Publication status	Published - 2005
Externally published	Yes
Event	43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05 - Kennesaw, GA, United States Duration: Mar 18 2005 → Mar 20 2005

Publication series

Name	Proceedings of the Annual Southeast Conference
Volume	2

Other

Other	43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05
Country/Territory	United States
City	Kennesaw, GA
Period	3/18/05 → 3/20/05

Keywords

Object-oriented languages
Subtyping
Type

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1145/1167253.1167322

Cite this

The movable point problem and its resolution in object type graphs. / Xing, Cong Cong; Belkhouche, Boumediene.
Proceedings of the 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05. 2005. p. 2315-2320 (Proceedings of the Annual Southeast Conference; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Xing, CC & Belkhouche, B 2005, The movable point problem and its resolution in object type graphs. in Proceedings of the 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05. Proceedings of the Annual Southeast Conference, vol. 2, pp. 2315-2320, 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05, Kennesaw, GA, United States, 3/18/05. https://doi.org/10.1145/1167253.1167322

@inproceedings{dae04007f4524d47b1e913d41bae8bac,

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.",

keywords = "Object-oriented languages, Subtyping, Type",

author = "Xing, {Cong Cong} and Boumediene Belkhouche",

year = "2005",

doi = "10.1145/1167253.1167322",

language = "English",

isbn = "1595930590",

series = "Proceedings of the Annual Southeast Conference",

pages = "2315--2320",

booktitle = "Proceedings of the 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05",

note = "43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05 ; Conference date: 18-03-2005 Through 20-03-2005",

}

TY - GEN

T1 - The movable point problem and its resolution in object type graphs

AU - Xing, Cong Cong

AU - Belkhouche, Boumediene

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

KW - Object-oriented languages

KW - Subtyping

KW - Type

UR - http://www.scopus.com/inward/record.url?scp=77953752997&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77953752997&partnerID=8YFLogxK

U2 - 10.1145/1167253.1167322

DO - 10.1145/1167253.1167322

M3 - Conference contribution

AN - SCOPUS:77953752997

SN - 1595930590

SN - 9781595930590

T3 - Proceedings of the Annual Southeast Conference

SP - 2315

EP - 2320

BT - Proceedings of the 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05

T2 - 43rd Annual Association for Computing Machinery Southeast Conference, ACMSE '05

Y2 - 18 March 2005 through 20 March 2005

ER -

The movable point problem and its resolution in object type graphs

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this