Studies for Non-Monotone Recursion
Project/Area Number |
25540001
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
Theory of informatics
|
Research Institution | Tohoku University |
Principal Investigator |
SUMII Eijiro 東北大学, 情報科学研究科, 教授 (00333550)
|
Project Period (FY) |
2013-04-01 – 2016-03-31
|
Project Status |
Completed (Fiscal Year 2015)
|
Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
Keywords | プログラム理論 / 再帰 / パラメタ的高階抽象構文 / 環境双模倣 / プログラム等価性 / 継続演算子(call/cc) |
Outline of Final Research Achievements |
We studied a new theory of recursion (for program equivalence, in particular) for programs and programming languages with advanced features such as graphs and first-class continuations.
|
Report
(4 results)
Research Products
(11 results)