2015 Fiscal Year Final Research Report
Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs
| Project/Area Number |
25540002
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
Makoto Hamana 群馬大学, その他部局等, 助教 (90334135)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
SHINYA KATSUMATA 京都大学, 数理解析研究所, 助教 (30378963)
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Keywords | プログラム理論 / 圏論 / 関数プログラム / 情報学基礎 / Haskell |
|---|
| Outline of Final Research Achievements |
In order to establish dependable software systems, we need to establish mathematical models and their theories. We develop various theories of functional programming through exploring mathematical models of Haskell's core language.
|
| Free Research Field |
ソフトウェア科学
|
