서지주요정보
Reachable reference algorithm for inferring ownership types in object oriented programming languages
서명 / 저자 Reachable reference algorithm for inferring ownership types in object oriented programming languages / GwanPyo Do.
저자명 Do, GwanPyo ; 도관표
발행사항 [대전 : 한국정보통신대학교, 2009].
Online Access 원문보기 원문인쇄

소장정보

등록번호

DM0001161

소장위치/청구기호

문지도서관2층 학위논문

ICU/MS09-14 2009

SMS전송 소장위치

도서상태

이용가능

대출가능

반납예정일

초록정보

$\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.}$

객체 지향 언어를 개발할 때 종종 객체간 앨리어싱으로 인하여 디펙트가 발생한다. 이 문제를 해결하기 위해 오너십 타입 시스템이 제안되었다. 오너십 타입 시스템은 데이터 공유 정보를 명시적으로 표현하는 시스템을 통칭한다. 하지만, 기존에 사용하던 시스템에는 수작업으로 오너십 타입을 넣어야 하는 불편함 때문에 이 시스템이 널리 사용되지 못하고 있다. 자동으로 오너십 타입을 추론하는 알고리즘이 이미 제안되었으나, 본 연구에서는 이를 세 가지 측면에서 발전시킨 알고리즘을 선보인다. 우선 한 번에 하나의 클래스를 추론함으로써 확장성을 증가시킨다. 또한, 제안하는 알고리즘은 타입 파라미터의 개수를 줄이고 추론된 오너십 타입의 정확도도 증가시킨다.

서지기타정보

서지기타정보
청구기호 {ICU/MS09-14 2009
형태사항 vii, 74 p. : 삽도 ; 26 cm.
언어 영어
일반주기 저자명의 한글표기 : 도관표
지도교수의 영문표기 : Ko, In-Young
지도교수의 한글표기 : 고인영
학위논문 학위논문(석사) - 한국정보통신대학교 : 공학부,
서지주기 References : p. 70-72
주제 Ownership Types
Inference Algorithm
OOP
오너십 타입
인퍼런스 알고리즘
객체지향 언어
QR CODE qr code