研究課題
基盤研究(B)
本研究課題は、コード生成機能を持つプログラミング言語に、「計算エフェクト」を加えて、 効率が高いコード生成プログラムを自然に記述することができ、更に、生成されたコードが高い安全性を持つことが保証されるような言語体系を構築することを目的としたものである。本研究で、限定継続という先進的なコントロールオペレータをもつコード生成プログラミング言語体系の設計およびその安全性を証明、また、処理系および型推論器の実装を完了した。さらに、コード生成計算体系の論理学的基礎付け、 型主導部分計算器の構築、また、コード生成言語の高性能計算への応用例の作成などを行い、本研究の有用性を実証した。
すべて 2013 2012 2011 2010 2009 その他
すべて 雑誌論文 (12件) (うち査読あり 12件) 学会発表 (12件) 備考 (1件)
Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)
ページ: 147-154
Proc. International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe, Japan, Lecture Notes in Computer Science
巻: 7294 ページ: 260-274
Proc. Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011), Kenting, Taiwan, Lecture Notes in Computer Science
巻: 7078 ページ: 105-120
Journal of Functional Programming
巻: 21(6) ページ: 617-662
Theoretical Computer Science
巻: 412 ページ: 6193-6207
Information and Computation
巻: 209(12) ページ: 1491-1503
コンピュータソフトウェア
巻: Vol. 28, No. 1 ページ: 217-229
Theory and Practice of Delimited Continuations (TPDC 2011)
ページ: 33-46
International Symposium on Logic-Based Program Synthesis andTransformation (LOPSTR), Lecture Notes in Computer Science
巻: 6564 ページ: 84-98
Logical Methods in Computer Science
巻: 6(4:8) ページ: 1-43
IPSJ Transactions on Programming
巻: Vol. 3, No. 4 ページ: 43-56
Proc. 12th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010)
ページ: 77-86
https://github.com/StagedHPC/shonan-challenge/
