并行软件功能规约的组合语义方法

• 作者: 孔兵 李彤 柳青 王黎霞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 并行软件 组合语义 代数语义 Hoare逻辑 UNITY逻辑
• 年，卷（期）: 2000,（6）
• 所属期刊栏目: 学术探讨
• 页码范围: 78-80
• 页数: 3页
• 分类号: TP3
• 字数: 2681字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2000.06.029

摘要

文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻辑描述并行程序性质的优点.表示形式有利于规约的分解、细化和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学计算机科学系	151	861	14.0	22.0
2	孔兵	云南大学计算机科学系	23	95	4.0	8.0
3	王黎霞	云南大学经济学院	13	70	4.0	7.0
4	柳青	云南大学计算机科学系	40	192	7.0	12.0