论文部分内容阅读
代数规范说明是软件与理论计算机科学研究中的一个活跃领域,它对于软件工程与程序设计方法学都有很好的支持,是软件形式化开发研究的一条希望之路。本文是《代数规范说明技术的理论与应用》论文的第一部分,主要介绍数据抽象的思想与抽象数据类型的规范说明。文章从泛代数的角度阐述等式规范说明、初始语义、规范说明的拓广及其一致性与完全性问题。