抽象数据类型的代数规格说明

摘要

cqvip:本文提出抽象数据类型的代数规格说明的一种新的语义。以该语义为基础,讨论代数方法的说明能力,并证明:所有部分可计算代数都存在代数规格说明。最后,文章还将论证代数规格说明的充分完备性、协调性、独立性的不可判定性。