| Project/Area Number |
22800003
|
|---|
| Research Category |
Grant-in-Aid for Research Activity Start-up
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2010 – 2011
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥2,418,000 (Direct Cost: ¥1,860,000、Indirect Cost: ¥558,000)
Fiscal Year 2011: ¥1,105,000 (Direct Cost: ¥850,000、Indirect Cost: ¥255,000)
Fiscal Year 2010: ¥1,313,000 (Direct Cost: ¥1,010,000、Indirect Cost: ¥303,000)
|
|---|
| Keywords | プログラミング言語 / プログラム変換 / 関数プログラミング / 双方向変換 / 逆計算 |
|---|
| Research Abstract |
Bidirectional transformations, while they have wide-ranged applications, are hard to develop because we have to maintain programs in both directions. An approach to the problem is bidirectionalization, a program transformation that constructs a bidirectional transformation from a given usual unidirectional transformation. Making use of the techniques from the formal language theory, we have developed a new fundamental technique for bidirectionalization, which enables us to enumerate all the corresponding inputs of a given output for many tree (e. g., XML)transformations in polynomial time.
|
