[논문 리뷰] Towards Understanding Generics.

Moez A. AbdelGawad|arXiv (Cornell University)|2016. 05. 05.

Semantic Web and Ontologies인용 수 3

한 줄 요약

이 논문은 일반화된 명시적 유형 체계를 갖춘 객체지향 프로그래밍(OOP)을 위한 도메인 이론 모델을 제안하며, 형식적 수학적 프레임워크를 사용하여 일반화된 클래스 내의 유형 관계와 서브타이핑을 포괄한다. 주요 기여는 타입 안전성과 서브타이핑에 대한 추론을 가능하게 하는 간단하고 정확한 모델이다.

ABSTRACT

This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.

연구 동기 및 목표

• 일반화된 명시적 유형 체계를 갖춘 객체지향 프로그래밍의 의미를 정확하게 포괄하는 형식적 모델을 개발하기 위해.
• 명시적 유형 체계를 갖춘 일반화된 클래스 내의 서브타이핑과 유형 관계를 모델링하는 데 도전하는 데 대해.
• 일반화된 OOP 언어 내의 타입 안전성과 정확성에 대한 추론을 위한 기초를 제공하기 위해.
• 객체지향 유형 체계 내에서 일반화의 이론적 이해를 단순화하기 위해.

제안 방법

• 일반화된 클래스와 명시적 서브타이핑을 갖춘 유형 체계를 모델링하기 위해 도메인 이론을 사용한다.
• 유형의 계층과 그들의 서브타이핑 관계를 포괄하는 수학적 구조를 정의한다.
• 순서 이론적 구성요소를 사용하여 유형 생성자와 재귀적 유형 정의를 표현한다.
• 일반화된 클래스 선언과 그 유형 매개변수의 형식적 해석을 도입한다.
• 모델이 유계 및 무계 유형 매개변수 모두를 지원하도록 보장한다.
• 도메인 이론적 모델과 표준 OOP 유형 규칙 사이의 연결을 수립한다.

실험 결과

연구 질문

• RQ1 정확하게 일반화된 명시적 유형 체계를 갖춘 OOP 시스템을 표현할 수 있는 도메인 이론적 모델을 어떻게 구성할 수 있는가?
• RQ2 일반화된 클래스 내에서 서브타이핑과 유형 관계를 가장 잘 포괄하는 수학적 구조는 무엇인가?
• RQ3 이 모델은 일반화된 OOP 내의 타입 안전성에 대해 어떻게 추론을 지원하는가?
• RQ4 명시적 일반화의 핵심 기능을 정확히 포괄하면서도 간단하게 유지할 수 있는가?
• RQ5 일반화된 클래스 계층 내에서 타입 안전성이 유지되는 형식적 조건은 무엇인가?

주요 결과

• 제안된 도메인 이론적 모델은 수학적 정밀도를 바탕으로 일반화된 명시적 유형 체계를 갖춘 OOP의 의미를 성공적으로 포괄한다.
• 이 모델은 일반화된 클래스 내의 서브타이핑 관계를 깔끔하고 정확하게 표현할 수 있다.
• 이 모델은 일반화된 시스템 내의 타입 안전성과 타입 호환성에 대한 형식적 추론을 가능하게 한다.
• 이 프레임워크는 일반적인 OOP 언어 내의 일반화 기능을 포괄할 수 있을 정도로 일반적이지만, 간단하고 다룰 수 있다.
• 이 모델은 일반화된 클래스와 명시적 서브타이핑을 포함한 유형 체계의 검증을 위한 기초를 제공한다.