2011년 컴퓨터종합학술대회
Current Result Document :
| 한글제목(Korean Title) |
열린 코드를 갖는 다단계 프로그램을 타입 정보로부터 자동으로 생성하기 |
| 영문제목(English Title) |
Type-directed Automatic Generation of Open Code Multi-Staged Programs |
| 저자(Author) |
정영범
이원찬
이광근
Yungbum Jung
Wonchan Lee
Kwangkeun Yi
|
| 원문수록처(Citation) |
VOL 38 NO. 1(C) PP. 0466 ~ 0469 (2011. 06) |
한글내용
(Korean Abstract) |
단계가 없는 고차원 프로그램(higher-order program)을 다단계 프로그램(multi-staged program)으로 타입의 도움을 받아 변환하는 방법을 제시한다. 이 방법은 최첨단의 다단계 프로그램 타입시스템에 기반했기에 직관적으로 이해가 쉽고, 열린 코드(open code)를 지원한다. 변환의 결과 나올 수 있는 열린 코드는 자유 변수(free variable)을 허용하여 나중에 사용자의 의도대로 자유롭게 묶이게 할 수 있다. 우리의 변환은 기존의 타입의 도움을 받아 특화시키는 Linger와 Sheard[2,3]의 방법에 비해 더 효율적이고, 더 많은 종류의 다단계 프로그램을 만들어 낼 수 있다. |
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
