2015 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
ソフトウェア科学
|
