서지주요정보
레코드 접합 연산을 포함한 다형적 레코드 계산법 = A polymorphic record calculus with record concatenation operation
서명 / 저자 레코드 접합 연산을 포함한 다형적 레코드 계산법 = A polymorphic record calculus with record concatenation operation / 김상오.
발행사항 [대전 : 한국과학기술원, 1995].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8005590

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 95009

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

등록번호

9001744

소장위치/청구기호

서울 학위논문 서가

MCS 95009 c. 2

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

리뷰정보

초록정보

Polymorphic record calculi have recently attracted much attention as a typed foundation for object-oriented programming. Recent studies have established techniques to develop an ML-style type inference algorithm for such a polymorphic type system. Ohori established a method to compile ML-style polymorphic record calculus into an efficient code. But most of the prior studies are based on polymorhpic record calculi that lack the record concatenation operation which is essential to analyse multiple inheritence of object-oriented programming. We define a polymorphic record calculus with the record concatenation operation as an extension of Damas and Milner's proof system for ML. For the efficient execution of our polymorphic record calculus, we extend Ohori's implementation calculus. In our implementation calculus, as in Ohori's, records are presented as arrays of values, and field selection is performed by direct indexing. We then develop an algorithm to translate the polymorphic record calculus into the implementation calculus; it simultaneously computes a principal type scheme in the polymorphic record calculus and a correct implementation term in the implementation calculus. The type inference is shown to be sound and complete.

서지기타정보

서지기타정보
청구기호 {MCS 95009
형태사항 iii, 49 p. : 삽도 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Sang-Oh Kim
지도교수의 한글표기 : 한태숙
지도교수의 영문표기 : Tai-Sook Han
학위논문 학위논문(석사) - 한국과학기술원 : 전산학과,
서지주기 참고문헌 : p. 47-49
주제 Object-oriented programming.
객체 지향 프로그래밍
다형적 레코드 계산
QR CODE qr code