摘要
代数规范说明是软件与理论计算机科学研究中的一个活跃领域,它对于软件工程与程序设计方法学都有很好的支持,是软件形式化开发研究的一条希望之路。本文是《代数规范说明技术的理论与应用》论文的第一部分,主要介绍数据抽象的思想与抽象数据类型的规范说明。文章从泛代数的角度阐述等式规范说明、初始语义、规范说明的拓广及其一致性与完全性问题。
This paper introduces the ideas of data abstraction and specification of abstract data types. From the universal algebraic point of view, it describes equational specification, initial semantics, extention of specification and its consistance and completeness.
出处
《计算机工程与设计》
CSCD
北大核心
1989年第1期3-12,共10页
Computer Engineering and Design
