Grammar-based Approach to Program Bidirectionalization
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.
|
Report
(3 results)
Research Products
(14 results)