ＣａｆｅＯＢＪ入門（３）等式推論と項書換システム

• 中村 正樹

  金沢大学理工学域電子情報学類

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 緒方 和博

  北陸先端科学技術大学院大学情報科学研究科

書誌事項

タイトル別名

• Introducing CafeOBJ (3) : Equational Reasoning and Term Rewriting Systems
• チュートリアル CafeOBJ入門(3)等式推論と項書換システム
• チュートリアル CafeOBJ ニュウモン 3 トウシキ スイロン ト コウ カキカエ システム

抄録

等式推論は代数仕様言語CafeOBJの最重要の推論機構である．等式推論の効率的な実行を可能とする項書換システムについて，CafeOBJ仕様の作成の助けとなる知識に焦点を当てて解説する．項書換システムの停止性，合流性，十分完全性などの基本的性質を満たす仕様作成の指針を示し，AC演算子属性，条件付き等式などを含む仕様への適用を議論する．

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 25 (3), 69-80, 2008

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282679714986624
• NII論文ID: 110006840405
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.25.3_69
• NDL書誌ID: 9599985
• ISSN: 02896540
• Web Site: http://hdl.handle.net/2297/12395
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9599985
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可