2020 Fiscal Year Annual Research Report
Principles of Higher-Order Universal Algebraic Datatypes
| Project/Area Number |
17K00092
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
浜名 誠 群馬大学, 大学院理工学府, 准教授 (90334135)
|
|---|
| Project Period (FY) |
2017-04-01 – 2021-03-31
|
| Keywords | 書換え系 / 関数プログラム / 型理論 / 合流性 / 停止性 / ラムダ計算 / 自動証明 |
|---|
| Outline of Annual Research Achievements |
本年度は、二階書換えの停止性のモジュラ性についての論文の証明を完成し、論文の投稿を行なった。またこのモジュラ停止性証明手法をSOLシステムに実装した。
さらにSOLシステムの改良を重ね、Unboundライブラリを用いた変数束縛機構の実装へと改良した。
これらにより高階代数系を基礎とするプログラミング言語のための有用な研究成果とツールの構築ができたと考えられる。
|
