文章基本信息
- 标题：CafeOBJ入門(3) 等式推論と項書換システム
- 本地全文：下载
- 作者：中村 正樹 ; 二木 厚吉 ; 緒方 和博 等
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2008
- 卷号：25
- 期号：3
- 页码：3_69-3_80
- DOI：10.11309/jssst.25.3_69
- 出版社：Japan Society for Software Science and Technology
- 摘要：
等式推論は代数仕様言語CafeOBJの最重要の推論機構である．等式推論の効率的な実行を可能とする項書換システムについて，CafeOBJ仕様の作成の助けとなる知識に焦点を当てて解説する．項書換システムの停止性，合流性，十分完全性などの基本的性質を満たす仕様作成の指針を示し，AC演算子属性，条件付き等式などを含む仕様への適用を議論する．
