By Topic

An Object Type Graph System

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Cong-Cong Xing ; Nicholls State Univ., Thibodaux

While object types are an abstract specification of object behaviors, object behaviors are significantly affected by method interdependencies in objects. Conventionally, method interdependency information of objects is not reflected in object types. As a result, objects with sufficiently distinct behaviors can be confused to have the same type in conventional type systems, which, among other things, opens the door to let more faulty programs to be compiled and thus weakens the reliability of programs. In this paper, we (1) introduce the notion of object type graphs (OTG) which captures method interdependencies and integrates them into object types; (2) define object typing and subtyping under OTG; (3) demonstrate how problems existing in conventional type systems can be easily resolved under OTG; (4) present an algorithm for computing object method interdependencies; and (5) provide a soundness proof of the OTG system. We argue that OTG system is one step forward towards increasing the reliability of programs.

Published in:

Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on

Date of Conference:

6-8 June 2007