| 一个含有不确定性语言的代数规范说明 |
| |
| 引用本文： | 吕文进. 一个含有不确定性语言的代数规范说明[J]. 贵州大学学报(自然科学版), 1992, 9(3): 167-173 |
| |
| 作者姓名： | 吕文进 |
| |
| 作者单位： | 贵州大学计算机科学系 贵阳 |
| |
| 摘 要： | 本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。
|
| 关 键 词： | 代数规范说明 程序设计语言 |
Algebraic Specification of a Language with Some Noneleterminism |
| |
| Lu Wenjin. Algebraic Specification of a Language with Some Noneleterminism[J]. Journal of Guizhou University(Natural Science), 1992, 9(3): 167-173 |
| |
| Authors: | Lu Wenjin |
| |
| Abstract: | 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 |
| |
| Keywords: | Algebraic specification Programming language Semantics Nondeterminism |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
