摘要
传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。
The tradlitional method of defining the semantics of abstract data type is unsuitable to specify some nondeterminism in software. In order to make up the deficiency, in this paper, we introduce the concept of maximal algebraic semantics and then discuss its prop- erties.
出处
《贵州大学学报（自然科学版）》
1992年第1期38-43,共6页
Journal of Guizhou University:Natural Sciences
基金
贵州省科学基金
关键词
抽象数据类型
代数语义
不确定性
Abstract data type
Algebraic semantics
Model
Nondeterminism
