代数规范说明相关硕士博士期刊学术论文 - 信丰网

代数规范说明相关论文

一个含有不确定性语言的代数规范说明

本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可......

期刊

代数规范说明程序设计语言 Algebraic specification Programming language Semantics Nondeter

代数规范说明的实现

代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与......

期刊

软件工程代数规范说明代数说明

看过本文同时还关注