| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2019: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2018: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Outline of Final Research Achievements |
We studied foundational techniques for dealing with infinite data structures such as real numbers and infinite lists. Programs that operate on such infinite data often employ potentially non-terminating functions. Therefore, their evaluation requires a special computation method called lazy evaluation. In this research project we showed that in many cases a program can be turned into another form of a program so that a simple calculation by the leftmost outermost strategy achieves lazy evaluation. We also developed an automatic method for verifying termination of lazy evaluation, which is a crucial property for running programs safely.
|
