메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술대회자료
저자정보
정영범 (서울대학교) 이원찬 (서울대학교) 이광근 (서울대학교)
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(C)
발행연도
2011.6
수록면
466 - 469 (4page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

이 논문의 연구 히스토리 (2)

초록· 키워드

오류제보하기
단계가 없는 고차원 프로그램(higher-order program)을 다단계 프로그램(multi-staged program)으로 타입의 도움을 받아 변환하는 방법을 제시한다. 이 방법은 최첨단의 다단계 프로그램 타입시스템에 기반했기에 직관적으로 이해가 쉽고, 열린 코드(open code)를 지원한다. 변환의 결과 나올 수 있는 열린 코드는 자유 변수(free variable)을 허용하여 나중에 사용자의 의도대로 자유롭게 묶이게 할 수 있다. 우리의 변환은 기존의 타입의 도움을 받아 특화시키는 Linger와 Sheard[2,3]의 방법에 비해 더 효율적이고, 더 많은 종류의 다단계 프로그램을 만들어 낼 수 있다.

목차

요약
1. 서론
2. 대상 언어
3. 타입의 도움을 받아 다단계 프로그램으로 변환
4. 변환 예제
5. 결론
참고 문헌

참고문헌 (0)

참고문헌 신청

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2013-569-000356748