지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 컴퓨팅의 실제 및 레터 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제18권 제12호
- 발행연도
- 2012.12
- 수록면
- 926 - 930 (5page)
이용수
초록· 키워드
오류제보하기
ML 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀 모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀 모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀 모듈은 지난 10년 동안 프로그래밍언어 분야에서 깊이 있게 연구되어 왔으며, 그 결과 OCaml과 같은 언어에서 성공적으로 지원되고 있다. 그러나 기존연구는 복시 문제와 순환 타입 문제를 완벽하게 해결하지 못하여 한정된 재귀 모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시 문제와 순환 타입 문제를 해결하고 다양한 재귀 모듈 프로그래밍 패턴을 지원하는 타입 시스템을 제안한다. 제안된 타입 시스템은 프로그램 문법 기반으로 설계되어 실제 재귀 모듈 시스템을 구현하는데 손쉽게 이용될 수 있을 것으로 기대된다.
목차
요약
Abstract
1. 서론
2. 복시 문제
3. 순환 타입 문제
4. 타입 시스템
5. 관련 연구
6. 결론
참고문헌
참고문헌 (7)
참고문헌 신청
D. MacQueen / 1984 / Modules for Standard ML / Proc. of LFP 1984 :198~207
K. Crary / 1999 / What is a recursive module? / Proc. of PLDI 1999 :50~63
C. V. Russo / 2001 / Recursive structures for Standard ML / Proc. of ICFP 2001 :50~61
K. Nakata / 2006 / Recursive modules for programming / Proc. of ICFP 2006 :74~86
D. Dreyer / 2007 / A type system for recursive modules / Proc. of ICFP 2007 :289~302
K. Crary / 1999 / What is a recursive module? / Proc. of PLDI 1999 :50~63
C. V. Russo / 2001 / Recursive structures for Standard ML / Proc. of ICFP 2001 :50~61
K. Nakata / 2006 / Recursive modules for programming / Proc. of ICFP 2006 :74~86
D. Dreyer / 2007 / A type system for recursive modules / Proc. of ICFP 2007 :289~302
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-569-000688169