項書換えシステムのための抽象機械の設計について

• 大原, 幸一

• 緒方, 和博

• 二木, 厚吉

書誌事項

タイトル別名

• Considerations on a Design of Abstract Machine for Term Rewriting System

抄録

本稿では、項書換え計算における書換え規則と入力項のパターンマッチングについて、特に書換え規則の追加によって再コンパイルの必要のない抽象機械について考察する。

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第51回 (ソフトウェア), 41-42, 1995-09-20

詳細情報

• CRID: 1050011097140628480
• NII論文ID: 110002877990
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00128941/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles