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
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2015: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| 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.
|
Report
(4 results)
Research Products
(23 results)
-
[Journal Article] Towards a Formal Theory of Graded Monads2016
Author(s)
Soichiro Fujii, Shin-ya Katsumata, and Paul-Andre Mellies
-
Journal Title
Lecture Notes in Computer Science
Volume: 9634
Pages: 513-530
DOI
ISBN
9783662496299, 9783662496305
Related Report
Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
