講演抄録/キーワード |
講演名 |
2014-03-11 11:00
逆Unfold問題とその発見的解法 ○加藤友郁・長島正憲・酒井正彦・西田直樹(名大) SS2013-74 |
抄録 |
(和) |
Unfold/Fold変換はプログラム変換や定理証明などに広く利用されている.Unfold変換とFold変換はそれぞれの逆変換の関係にはなく,多くの場合において一方の変換結果を他方の変換で元に戻すことはできない.本稿では,逆Unfold問題すなわち,与えられた条件付き項書換え系をUnfoldの適用によって得られるような変換元の条件付き項書換え系が存在するか否かの決定問題,を定式化し,この問題の発見的解法とその適用例を示す. |
(英) |
Unfold/Fold transformations have been widely used for program transformation, theorem proving, and so on.Unfold and Fold are not in the inverse relation of each other, therefore a transformed result of Unfold is generally not restorable by Fold, and vice versa.In this paper, we introduce the notation of an inverse Unfold problem defined as follows: given a conditional term rewriting system (CTRS), it determines whether or not a there exists CTRS that can be unfolded to the given CTRS.We propose some heuristics for solving this problem and show some examples. |
キーワード |
(和) |
Unfold/Fold変換 / 条件付き項書換え系 / / / / / / |
(英) |
Unfold/Fold transformation / conditional term rewriting system / / / / / / |
文献情報 |
信学技報, vol. 113, no. 489, SS2013-74, pp. 13-18, 2014年3月. |
資料番号 |
SS2013-74 |
発行日 |
2014-03-04 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2013-74 |