戦略の表明を持つ項書き換え系A - TRSの実現と評価

• Item type: SIG Technical Reports(1)
• 公開日: 1989-02-10
• タイトル: 戦略の表明を持つ項書き換え系A - TRSの実現と評価
• タイトル / 言語: en
• タイトル: The Implementation and Evaluation of Strategy Annotated Term Rewriting System (A - TRS)
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東北大学電気通信研究所
• 著者所属: 東北大学電気通信研究所
• 著者所属: 東北大学電気通信研究所
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication Tohoku University
• 著者名: 布川, 博士; 古賀, 信哉; 野口, 正一
• 著者名(英): Hiroshi, Nunokawa; Shinya, Koga; Shoichi, Noguchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，我々がすでに提案している，TRSプログラム中に陽にリダクション戦略を表明でき，各TRSプログラムごとに戦略を定められることができる項書き換え系(A-TRS)の処理系作成の報告，それを用いたA-TRSの評価を行なう．項書き換え系(TRS)の処理系であるreducerでは，正規化戦略の実現のみでなく速度も要求される．従来の処理系はいずれか一方を犠牲にすることにより他方の利点を導入し作成されてきた．我々はすでに，単一の戦略を用いるのではなく，それぞれのTRSプログラムに応じた戦略をTRSプログラム中に記述できるTRS(A-TRS)及びその処理系を提案している．A-TRSでは，各TRSプログラム中にそれ専用の戦略を定められることができるため，ユーザーが意図した通りに，書き換えが有効に行なわれるTRSプログラムを作成できる．本稿ではA-TRSのreducerを実際にLispを用いで作成し，その評価を速度，表明の効果の観点から行なう．また，それに基づきTRSプログラムへの表明のいれ方について検討，議論を行なう．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we show the implementation and evaluation of A-TRS. We have proposed a new type of Term Rewriting System (TRS), named A-TRS, which has annotations for reduction strategies. The reducer of TRS should have the normalizing strategy (Normalizing strategy can obtain the normal form anytime, if it exists), and should also be high-speed. But these two things are mutually exclusive. For this reason, most reducers are implemented by compromising one of them. But, to efficiently use TRS as a programming language, it is very important to offer those features at the same time. A-TRS is one such attempt. In A-TRS, the programmer can control the order of reduction at will. And he obtain the normal form as he wishes. This paper shows the implementation of a reducer of A-TRS written in Lisp, and evaluates A-TRS based upon the current implementation from the point of speed and effect of annotations. Finally we discus the methodology to use annotations.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1989, 号 12(1988-PRO-020), p. 1-10, 発行日 1989-02-10
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会