http://swrc.ontoware.org/ontology#Article
A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem
en
[発表概要]
Graduate School of Information Science, Nagoya University
Graduate School of Information Science, Nagoya University
Graduate School of Information Science, Nagoya University
Graduate School of Information Science, Nagoya University
Masanori Nagashima
Tomofumi Kato
Masahiko Sakai
Naoki Nishida
Unfold/fold transformations have been widely studied in various programming paradigms and are used in program transformations, theorem proving, and so on. Unfolding expands a sub-expression of a program using its own definitions. Folding does the opposite, but restoring a one-step unfolding by folding is not easy as we expect because some rules used by unfolding may be lost. In our previous work, we proposed a heuristic procedure that solves the inverse problem of unfolding for conditional term rewriting systems, call pure-constructor systems. This paper reformulates it on term rewriting systems, and shows a simple sufficient condition for the completeness in the sense that the procedure always find a solution if it exists.
Unfold/fold transformations have been widely studied in various programming paradigms and are used in program transformations, theorem proving, and so on. Unfolding expands a sub-expression of a program using its own definitions. Folding does the opposite, but restoring a one-step unfolding by folding is not easy as we expect because some rules used by unfolding may be lost. In our previous work, we proposed a heuristic procedure that solves the inverse problem of unfolding for conditional term rewriting systems, call pure-constructor systems. This paper reformulates it on term rewriting systems, and shows a simple sufficient condition for the completeness in the sense that the procedure always find a solution if it exists.
AA11464814
情報処理学会論文誌プログラミング（PRO）
8
1
17-17
2015-06-02
1882-7802