有序类代数的操作语义  

Operational Semantics for Order-sorted Algebra

作　　者：钟发荣 金健舟 

出　　处：《浙江师大学报（自然科学版）》1996年第3期58-64,共7页Journal of Zhejiang Normal University(Natoral Sciences)

摘　　要：本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义．The author have summarized shortly the basic notions about order-sorted algebras in this paper,and studied order-sorted equational deduction,presented the term rewriting rule-based operational semantics for order-sorted algebra.

关 键 词：有序类代数 项重写系统 形式语义描述 操作语义 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]