Reachable reference algorithm for inferring ownership types in object oriented programming languages

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 555
  • Download : 0
$\It{When developing a system with object oriented programming languages, sometimes inter-object aliasing becomes the root of defects. Ownership type systems were introduced in order to prevent the problems caused by the inter-object aliasing. The ownership type system tries to explicitly express the data sharing information and to help developers track value flow when they are debugging through providing additional information on data sharing relationships among objects.}$ $\It{ However, there is an obstacle that the ownership type systems are not used easily. Working with legacy system becomes a barrier because the legacy system should be reviewed and the ownership type annotations inserted.}$ $\It{The constraint-based inference algorithm was suggested in order to remove the legacy system problem. However, three improvements can be made in the algorithm.}$ $\It{We propose a reachable reference algorithm that searches type parameters based on reachable objects. Our algorithm increases scalability by inferring one class at a time. The algorithm also reduces ownership type parameter, and increase accuracy of the inferred annotation since the algorithm actually visits reachable references to find out type parameters. In this thesis, the three improvements are shown using two source codes.}$
Advisors
Ko, In-Youngresearcher고인영researcher
Description
한국정보통신대학교 : 공학부,
Publisher
한국정보통신대학교
Issue Date
2009
Identifier
393145/225023 / 020074364
Language
eng
Description

학위논문(석사) - 한국정보통신대학교 : 공학부, 2009.2, [ vii, 74 p. ]

Keywords

객체지향 언어; 인퍼런스 알고리즘; 오너십 타입; Inference Algorithm; Ownership Types; OOP

URI
http://hdl.handle.net/10203/54938
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=393145&flag=dissertation
Appears in Collection
School of Engineering-Theses_Master(공학부 석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0