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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 624
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorKo, In-Young-
dc.contributor.advisor고인영-
dc.contributor.authorDo, GwanPyo-
dc.contributor.author도관표-
dc.date.accessioned2011-12-28T03:01:55Z-
dc.date.available2011-12-28T03:01:55Z-
dc.date.issued2009-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=393145&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/54938-
dc.description학위논문(석사) - 한국정보통신대학교 : 공학부, 2009.2, [ vii, 74 p. ]-
dc.description.abstract$\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.}$eng
dc.languageeng-
dc.publisher한국정보통신대학교-
dc.subject객체지향 언어-
dc.subject인퍼런스 알고리즘-
dc.subject오너십 타입-
dc.subjectInference Algorithm-
dc.subjectOwnership Types-
dc.subjectOOP-
dc.titleReachable reference algorithm for inferring ownership types in object oriented programming languages-
dc.typeThesis(Master)-
dc.identifier.CNRN393145/225023-
dc.description.department한국정보통신대학교 : 공학부, -
dc.identifier.uid020074364-
dc.contributor.localauthorKo, In-Young-
dc.contributor.localauthor고인영-
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