• 検索結果がありません。

A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem

N/A
N/A
Protected

Academic year: 2021

シェア "A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)IPSJ Transactions on Programming Vol.8 No.1 17 (June 2015). Abstract. A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem Masanori Nagashima1,a). Tomofumi Kato1. Masahiko Sakai1. Naoki Nishida1. Presented: November 11, 2014. 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.. 1 a). Graduate School of Information Science, Nagoya University, Nagoya, Aichi 464–8603, Japan nagashima@sakabe.i.is.nagoya-u.ac.jp. c 2015 Information Processing Society of Japan . 17.

(2)

参照

関連したドキュメント

[9] DiBenedetto, E.; Gianazza, U.; Vespri, V.; Harnack’s inequality for degenerate and singular parabolic equations, Springer Monographs in Mathematics, Springer, New York (2012),

We introduce a new general iterative scheme for finding a common element of the set of solutions of variational inequality problem for an inverse-strongly monotone mapping and the

For arbitrary 1 < p < ∞ , but again in the starlike case, we obtain a global convergence proof for a particular analytical trial free boundary method for the

Thus, we use the results both to prove existence and uniqueness of exponentially asymptotically stable periodic orbits and to determine a part of their basin of attraction.. Let

, 6, then L(7) 6= 0; the origin is a fine focus of maximum order seven, at most seven small amplitude limit cycles can be bifurcated from the origin.. Sufficient

We mention that the first boundary value problem, second boundary value prob- lem and third boundary value problem; i.e., regular oblique derivative problem are the special cases

The inverse problem associated to the Davenport constant for some finite abelian group is the problem of determining the structure of all minimal zero-sum sequences of maximal

Transirico, “Second order elliptic equations in weighted Sobolev spaces on unbounded domains,” Rendiconti della Accademia Nazionale delle Scienze detta dei XL.. Memorie di