2011 Fiscal Year Final Research Report
Dependable Data Structures by Dependent Types
| Project/Area Number |
22700004
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
HAMANA Makoto 群馬大学, 大学院・工学研究科, 助教 (90334135)
|
|---|
| Project Period (FY) |
2010 – 2011
|
| Keywords | データ構造 / 情報基礎 / 自動定理証明 / 関数プログラム |
|---|
| Research Abstract |
Dependent types are data types which ensure more precise properties of data thanordinary data types. Using dependent types, we develop a theory and applications ofdependable data structures, aiming to establish foundations of reliable computer softwares.
|
