2015 Fiscal Year Final Research Report
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
|
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.
|
Free Research Field |
プログラム理論
|