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
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2011: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2010: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
|---|
| 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.
|
Report
(3 results)
Research Products
(29 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Book] チューリングを読む2012
Author(s)
チャールズ・ペゾルド (著), 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行(訳)
Total Pages
612
Publisher
日経BP
Related Report
-
-
