文章基本信息

标题：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演算子属性，条件付き等式などを含む仕様への適用を議論する．