| Budget Amount *help |
¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Outline of Final Research Achievements |
Given a program, program inversion computes another problem that takes an output of the given program and returns its corresponding output. The goal of this research project is to study program inversion methods to derive mutual conversion programs whose input/output relationship is m-to-1. The main results of this project are the following two. First, we have developed a system that takes a pretty-printing program and returns the corresponding parsing program. Second, we have extended an existing free-theorem-based method to construct a bidirectional transformation from a unidirectional transformation so that more practical transformations can be handled; here, a bidirectional transformation is a transformation together with a "backward" transformation that reflects updates on the transformed data to the original.
|
