Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2011.06c
  • /
  • Pages.466-469
  • /
  • 2011
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Type-directed Automatic Generation of Open Code Multi-Staged Programs

열린 코드를 갖는 다단계 프로그램을 타입 정보로부터 자동으로 생성하기

  • Jung, Yung-Bum (Programming Research Lab. Seoul National University) ;
  • Lee, Won-Chan (Programming Research Lab. Seoul National University) ;
  • Yi, Kwang-Keun (Programming Research Lab. Seoul National University)
  • 정영범 (서울대학교 프로그래밍 연구실) ;
  • 이원찬 (서울대학교 프로그래밍 연구실) ;
  • 이광근 (서울대학교 프로그래밍 연구실)
  • Published : 2011.06.29

⟨ Previous Next ⟩

Abstract

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

Keywords

Acknowledgement

Supported by : 한국연구재단