| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Outline of Final Research Achievements |
The objective of the research is to investigate the methods of the design of reversible programming languages and reversible programming.
We have shown that the extended reversible programming language Janus is still reversible, even if a parameter passing method is introduced into the language. We have proposed that a small reversible programming language that enables linear-time reversible self-interpretation, which has potential to be applied in the theory of reversible computation. For the design of reversible programming languages, we have studied the theory of structured/unstructured reversible flowchart languages. It is fundamental for reversible imperative programming languages.
We have proposed the concepts to measure the efficiency of reversible algorithms. We have reported fundamental reversible programming methods such as reversible comparison sorts and reversible ranking and its inverse of binary trees, which are efficient in terms of the proposed measure.
|
