지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 컴퓨팅의 실제 및 레터 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제18권 제3호
- 발행연도
- 2012.3
- 수록면
- 249 - 253 (5page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
단계가 없는 고차원 프로그램(higher-order program)을 다단계 프로그램(multi-staged program)으로 타입의 도움을 받아 변환하는 방법을 제시한다. 이 방법은 최첨단의 다단계 프로그램 타입시스템[1]에 기반했기에 직관적으로 이해가 쉽고, 열린 코드(open code)를 지원한다. 변환의 결과 나올 수 있는 열린 코드는 자유 변수(free variable)을 허용하여 나중에 사용자의 의도대로 자유롭게 묶이게 할 수 있다. 우리의 변환은 기존의 타입의 도움을 받아 특화시키는 Linger와 Sheard[2,3]의 방법에 비해 더 효율적이고, 더 많은 종류의 다단계 프로그램을 만들어 낼 수 있다.
목차
요약
Abstract
1. 서론
2. 대상 언어
3. 타입의 도움을 받아 다단계 프로그램으로 변환
4. 변환 예제
5. 관련 연구
6. 결론
참고문헌
참고문헌 (14)
참고문헌 신청
Ik-Soon Kim / 2006 / A polymorphic modal type system for Lisp- like multi-staged languages / POPL
Tim Sheard / 2002 / Search-based binding time analysis using type-directed pruning / PEPM
Olivier Danvy / 1996 / Type-directed partial evaluation / POPL
Paul Graham. / 1994 / On Lisp: an advanced techniques for Common Lisp / Prentice Hall
M. Leone / 1996 / Optimizing ML with run-time code generation / PLDI
Tim Sheard / 2002 / Search-based binding time analysis using type-directed pruning / PEPM
Olivier Danvy / 1996 / Type-directed partial evaluation / POPL
Paul Graham. / 1994 / On Lisp: an advanced techniques for Common Lisp / Prentice Hall
M. Leone / 1996 / Optimizing ML with run-time code generation / PLDI
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001659522