Foundation of Programming Languages for Code Generation
| Project/Area Number |
21300005
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
ASAI Kenichi お茶の水女子大学, 人間文化創成科学研究科, 准教授 (10262156)
IGARASHI Atsushi 京都大学, 情報学研究科, 教授 (40323456)
|
|---|
| Project Period (FY) |
2009 – 2012
|
| Project Status |
Completed (Fiscal Year 2012)
|
| Budget Amount *help |
¥10,790,000 (Direct Cost: ¥8,300,000、Indirect Cost: ¥2,490,000)
Fiscal Year 2012: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2011: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2010: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Fiscal Year 2009: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
|
|---|
| Keywords | プログラミング言語論 / プログラミングパラダイム / プログラム言語論 / プログラム生成 / 型システム / 高信頼ソフトウェア / プログラムの論理 / コード生成 / マルチステージプログラミング / 様相論理 / コントールオペレータ / 型推論 / 多相型 / 融合変換 / コントロールオペレータ / 型エラー / Curry-Howardの対応 |
|---|
| Research Abstract |
The objective of this research project is to introduce computational effect to the programming language for code generation (or “staging”) so that one can write efficient code generators naturally, and at the same time the generated codes can be guaranteed to be safe. As research results of this project, we have obtained a language for code generation with multi-prompt delimited-control operators, proved type soundness which implies the safety of the language, and implemented a proto-type interpreter and a type inference system for our language. We have also given a logical foundation for the calculus of code generation, built a type-directed partial evaluator for delimited-control operators, and implemented several useful algorithms in high-performance computation, which proved usefulness and applicability of our language.
|
Report
(5 results)
Research Products
(52 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Visualizing Continuations2011
Author(s)
Naoki Takashima, Tatsuya Nishiyama, Yukiyoshi Kameyama
Organizer
ACM SIGPLAN Continuation Workshop 2011
Place of Presentation
一橋記念講堂(東京都)
Year and Date
2011-09-24
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
