재귀 타입과 합집합 타입을 위한 코인덕션 서브타이핑 


43권  12호, pp. 1342-1350, 12월  2016


PDF

  요약

귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

H. Im, "Coinductive Subtyping for Recursive and Union Types," Journal of KIISE, JOK, vol. 43, no. 12, pp. 1342-1350, 2016. DOI: .


[ACM Style]

Hyeonseung Im. 2016. Coinductive Subtyping for Recursive and Union Types. Journal of KIISE, JOK, 43, 12, (2016), 1342-1350. DOI: .


[KCI Style]

임현승, "재귀 타입과 합집합 타입을 위한 코인덕션 서브타이핑," 한국정보과학회 논문지, 제43권, 제12호, 1342~1350쪽, 2016. DOI: .


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr