열린 코드 다단계 프로그램의 타입 지향 자동 생성 = Type-directed Automatic Generation of Open Code Multi-Staged Programs

국문 초록 (Abstract)

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

다국어 초록 (Multilingual Abstract)

We present a type-directed transformation from unstaged higher-order programs into open code, multi-staged ones. Because our staging transformation is based on Kim et.al.'s type system [1] that supports open code, the resulting multi-staged programs can have code with free variables allowing intentional variable-capturing substitution. This means that our transformation system can generate more efficient staged program than the previous type-directed specialization techniques of Linger and Sheard [2,3].

목차 (Table of Contents)

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

참고문헌 (Reference)

• 1 Olivier Danvy, "Type-directed partial evaluation" 1996
• 2 "The MetaML home page"
• 3 Tim Sheard, "Search-based binding time analysis using type-directed pruning" 2002
• 4 Neil D. Jones, "Partial evaluation and automatic program generation" Prentice-Hall 1993
• 5 M. Leone, "Optimizing ML with run-time code generation" 1996
• 6 Paul Graham., "On Lisp: an advanced techniques for Common Lisp" Prentice Hall 1994
• 7 Robert Glu ̈ck, "Fast binding- time analysis for multi-level specialization" 1996
• 8 F. Henglein, "Efficient type inference for higher- order binding- time analysis" 448-472, 1991
• 9 Nathan Linger, "Binding-time analysis for metaml via type inference and constraint solving" 266-279, 2004
• 10 F. Nielson, "Automatic binding time analysis for a typed &lgr;-calculus" 98-106, 1988
• 11 Robert Glu ̈ck, "An automatic program generator for multi-level specialization" 10 (10): 113-158, 1997
• 12 Ik-Soon Kim, "A polymorphic modal type system for Lisp- like multi-staged languages" 2006
• 13 Carsten K. Gomard, "A partial evaluator for the untyped lambda-calculus" 1 (1): 21-69, 1991
• 14 MetaOCaml, "A compiled, type-safe multi-stage programming language"