項書き換え系の関数型言語への変換による実現 (<特集>関数型プログラミング)

書誌事項

タイトル別名
  • Implementation of Term Rewriting Systems by Transforming into Functional Language.

この論文をさがす

説明

本論文では項書き換え系(TRS)の一実現方式を提示する.我々の方法は,TRSによって記述されたプログラムを一度関数型言語のプログラムへ変換(コンパイル)し,その言語上で実行する方式である.このとき,書き換え規則に対応する関数のみでなく,いくつかの補助的な関数を付加することにより正規化戦略を実現する.また,コンパイル方式であることにより,インタプリタを用いる方法に比べ,速度の向上も得られる.論文では,変換の方法を示しその正当性を与える.さらにその変換系の作成を行い,実際の実行速度からの評価を与える.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1574231877116870528
  • NII論文ID
    110003743462
  • NII書誌ID
    AN10075819
  • ISSN
    02896540
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ