2023 Fiscal Year Annual Research Report
High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
| Project/Area Number |
23H03368
|
|---|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
増原 英彦 東京工業大学, 情報理工学院, 教授 (40280937)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
叢 悠悠 東京工業大学, 情報理工学院, 助教 (30847629)
|
|---|
| Project Period (FY) |
2023-04-01 – 2028-03-31
|
| Keywords | 文脈指向プログラミング / 型安全な計算効果 / 内在的型安全コンパイラ / 継続渡し形式変換 / 依存型システム |
|---|
| Outline of Annual Research Achievements |
非標準実行インタプリタの設計に向けて、インタプリタ記述言語の言語機能に関する研究を進めた。
状況に応じて異なる振舞いをモジュール化する文脈指向プログラミングに関して、表現力とモジュール性の高い状況認識規則を記述できるようにする試みとして、層活性機構のインタフェースを言語を提案し Information and Software Technology誌に出版した。プログラム更新をバージョンによって管理する行為を、バージョンによって異なる振舞いを持つプログラムとして狙えた Programming with Versions 概念についての検討を進めた。複数バージョンのプログラム群を入力とし、共通する名前を持つ定義を「バージョンレコード」へと変換した上で型検査とバージョンの決定を行うコンパイル方式を提案し Asian Symposium on Programming Language and Systems で発表した。
さらに副作用を持つ非標準実行インタプリタやメタインタプリタに対するプログラム変換や検証を行うために必要となる理論的基盤として、型安全な計算効果と制御演算子のより強い同等性を示し、Principles and Practice of Declarative Programming国際シンポジウムにて発表した。また、内在的型安全コンパイラを計算効果を持つ言語に拡張する手法をPartial Evaluation and Program Manipulation国際ワークショップにて発表した。これらの研究を支える依存型システムについて、継続渡し形式変換を1パスで行う方法についての考察もPartial Evaluation and Program Manipulation国際ワークショップにて発表した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究方針を修正し、GPU向けコード生成の研究を次年度以降に行うこととして、非標準的インタプリタを記述するためのプログラミング言語機能を中心に研究を進めた。当初計画通りではないが、国際論文誌・国際会議・ワークショップに採択される結果を出すことができ、順調に進展していると考える。
|
| Strategy for Future Research Activity |
本年度に成果を得た言語機能に関する研究を引き続き進めてゆく。さらにGPU向けコード生成のために、メタ言語基盤を用いたコード生成手法の研究および、GPU上でのプログラスケジューリング方式に関する研究も進める。
|
