摘要
本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。
In this paper, we first define a small language L. Expressions in Lallow to have side effect and the order of evaluation of expressions is left unspecified. Therefore the semantic model of L. is not unique and the single model method can not be used to defiue the semantics of L Basecl on the maximal algebraic sementics, however we define the algebraic soecification of L and discuss the model proDerties of L
出处
《贵州大学学报（自然科学版）》
1992年第3期167-173,共7页
Journal of Guizhou University:Natural Sciences
基金
贵州省科基金
关键词
代数规范说明
程序设计语言
Algebraic specification, Programming language, Semantics, Nondeterminism
