Foundation of Programming Languages for Code Generation

代码生成编程语言基础

• 批准号: 21300005
• 负责人: KAMEYAMA Yukiyoshi
• 金额: $ 6.91万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21300005/
• 关键词: プログラミング言語論; プログラミングパラダイム; プログラム言語論; プログラム生成; 型システム; 高信頼ソフトウェア; プログラムの論理; コード生成; マルチステージプログラミング; 様相論理; コントールオペレータ; 型推論; 多相型; 融合変換; コントロールオペレータ; 型エラー; Curry-Howardの対応

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.

本研究项目的目的是将计算效应引入到编程语言中，用于代码生成（或“分段”），以便人们可以自然地编写高效的代码生成器，同时可以保证生成的代码的安全性。作为该项目的研究成果，我们获得了一种具有多提示分隔控制运算符的代码生成语言，证明了类型稳健性，这意味着该语言的安全性，并为我们的语言实现了原型类型解释器和类型推理系统。我们还为代码生成的演算提供了逻辑基础，为分隔控制运算符构建了一个类型导向的部分求值器，并在高性能计算中实现了几个有用的算法，这些都证明了我们语言的实用性和适用性。

项目成果

メタラムダ計算の定式化(ポスター発表)

元 lambda 演算的公式化（海报演示）

• 发表时间: 2012
• 作者: 岩井亜里紗;浅井健一
• 通讯作者: 浅井健一

限定継続を持つ並列言語モデルの設計と実装

具有有界延续的并行语言模型的设计和实现

• 发表时间: 2011
• 作者: 田中麻峰;亀山幸義
• 通讯作者: 亀山幸義

Polymorphic Multi-Stage Languagewith Control Effects

具有控制效果的多态多级语言

• 发表时间: 2011
• 期刊: Proc. Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011), Kenting, Taiwan, Lecture Notes in Computer Science
• 作者: Yuichiro Kokaji;Yukiyoshi Kameyama
• 通讯作者: Yukiyoshi Kameyama

コントロールオペレータを持つ必要呼び計算体系の設計

具有控制操作员的所需呼叫计算系统的设计

• 发表时间: 2011
• 作者: 西山達也;亀山幸義
• 通讯作者: 亀山幸義

限定継続のための TDPE に向けて

走向有限延续的 TDPE

• 发表时间: 2010
• 作者: Toru Nakanishi;Yuta Hira;Nobuo Funabiki;対馬かなえ,浅井 健一
• 通讯作者: 対馬かなえ,浅井 健一