2007 Fiscal Year Annual Research Report
| Project/Area Number |
16500004
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
亀山 幸義 University of Tsukuba, 大学院・システム情報工学研究科, 准教授 (10195000)
|
|---|
| Keywords | メタ・プログラム / オブジェクト・プログラム / コントロールオペレータ / 継続 / 限定継続 / 型システム / 型安全性 |
|---|
| Research Abstract |
メタ・プログラミング言語の処理系は、メタレベル実行によってオブジェクト・プログラムを生成し、そのプログラムを通常の処理系で実行するという2段階の処理を行う。第1段階の処理においては、メタ・プログラムの実行を表す継続(Continuation)と、オブジェクト・プログラムの実行を表す継続の2つの継続を適切に取り扱うことが必要である。昨年度までの研究で、我々は、階層化したshift/resetを用いることにより、これら2種類の継続を適切に表現できるという観測に基づき、階層化されたshift/resetをもつメタ・プログラム自身に対する型システムの構築を精力的に行った。今年度の研究では、静的なshift/resetにたいして、動的な限定継続をあらわすコントロールオペレータであるcontrol/promptについて深く検討し、(1)CPS変換に基づく意味論により、型システムを構築した、(2)この型システムは再帰型を必要とせず、伝統的な型システムの範疇にはいるものであることを示した、(3)型付けられたcontrol/promptの表現能力を調べ、shift/resetより真に強いことを厳密に証明した。これらの成果をもとに、shift/resetおよびcontrol/promptをもつ型付きプログラム言語を、MLの拡張として与え、メタ・プログラミングの基礎言語とした。
さらに、多段階(マルチステージ)のメタ・プログラミングのための計算体系として、現在最も強力と考えられるTahaらのラムダアルファという体系に対して、ステージ機能のない体系への翻訳を与え、それが健全であることを証明し、多段階メタ・プログラミングが通常のプログラミング言語上でも実行可能なことを示した。
|
Research Products
(6 results)
