Foundations of Dependable Datatypes by Dependent Types
| Project/Area Number |
24300001
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
Makoto Hamana 群馬大学, 大学院理工学府, 助教 (90334135)
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥6,370,000 (Direct Cost: ¥4,900,000、Indirect Cost: ¥1,470,000)
Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2013: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2012: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
|
|---|
| Keywords | プログラム理論 / 圏論 / 関数プログラム / 情報学基礎 / 多相型 / 代数理論 / 構造再帰 / 半構造データ / 原始再帰 / 依存型 / データ構造 / プログラム意味論 / 自動定理証明 |
|---|
| Outline of Final Research Achievements |
In order to establish fundamentals of dependable software systems, we aim to establish theories of dependable software. We develop foundations and applications of dependent types by clarifying algebraic models of types and equational theories of dependent types.
|
Report
(5 results)
Research Products
(19 results)
