Study of Program Inversion for Functional Programs Defining Injective Functions
| Project/Area Number |
21700011
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
NISHIDA Naoki 名古屋大学, 情報科学研究科, 助教 (00397449)
|
|---|
| Project Period (FY) |
2009 – 2012
|
| Project Status |
Completed (Fiscal Year 2012)
|
| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2010: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Keywords | プログラム逆化 / プログラム変換 / 項書換え系 / 関数型言語 / 情報基礎 / 逆関数 / 単射性 / ログラム変換 |
|---|
| Research Abstract |
In this research, we aimed at applying program inversion methods that automatically generate inverse computation programs, into practical functional programs, and we developed a program inversion method that inverts a given program to a function-definition set which is deterministic with respect to function application, namely a program. To apply the method into several functional languages, as target programs, we dealt with term rewriting systems of which the class is known as a computation model of functional programs. First, we proposed a new inversion transformation that specializes in tail recursive functions, and then incorporated it into the program inversion method developed at our previous work. Next, we proposed a method for determinizing rewrite rules that are indeterministic with respect to application of rules. More precisely, with preserving desired computation, the method instantiates each of the rules by analyzing the right-hand side by means of narrowing computation. By using the method as a postprocess of the inversion method, we succeeded in improving the existing inversion method. Finally, we implemented the inversion method and provided a service of inversion via web browsers.
|
Report
(5 results)
Research Products
(26 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity2011
Author(s)
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Organizer
the 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applicationthe 22nd International Conference on Rewriting Techniques and Applications
Place of Presentation
ノビサド(セルビア)
Year and Date
2011-06-01
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
