2009 Fiscal Year Self-evaluation Report
プログラム変換に基づく対話的プログラム開発システム
| Project/Area Number |
19700021
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Shibaura Institute of Technology (2008-2010)
Tohoku University (2007) |
|---|
Principal Investigator |
SASANO Isao Shibaura Institute of Technology, 工学部・情報工学科, 助教 (10362021)
|
|---|
| Project Period (FY) |
2007 – 2010
|
| Keywords | プログラミング言語 / プログラム変換 / プログラム開発環境 / 変数名補完 |
|---|
| Research Abstract |
プログラム変換は、仕様からのプログラムの導出、コンパイラにおける最適化などにおいて有用であることが知られている。変換規則としては、関数の展開、畳み込み、具体化、一般化といった基本的なものや、関数融合、組化等を行うための、より複雑な規則までさまざまである。コンパイラに入れるプログラム変換は有用であるが、すべてのプログラムに一様に適用されるため、効率が悪くならないことを保証するために変換機能が限定されてしまうという一面がある。本研究においては、プログラム変換の側面からプログラム開発を支援する、対話的プログラム開発システムの作成を目的とする。本研究はこれまでに行われてきたプログラム変換、型システムの研究成果を用いて対話的プログラム開発システムを構築するものである。既存のプログラム変換の研究においては、プログラム一般に有用な変換については言語処理系に埋め込まれているが、そうでない変換については紙の上で行われるだけにとどまっているのが現状である。そこで従来紙の上で行っていたプログラム変換を実際のプログラム開発に用いることを目指している。
|
