UNITY与典型程序设计模型的比较

• 作者: 化志章 肖美华 薛锦云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 程序设计模型 UNITY 形式语义 程序转换 Seuss
• 年，卷（期）: 2003,（32）
• 所属期刊栏目: 学术探讨
• 页码范围: 52-54,104
• 页数: 4页
• 分类号: TP311
• 字数: 5370字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.32.017

摘要

UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力.该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖美华	中国科学院软件研究所计算机科学重点实验室	27	313	8.0	17.0
7	薛锦云	中国科学院软件研究所计算机科学重点实验室	77	745	15.0	23.0
11	化志章	中国科学院软件研究所计算机科学重点实验室	11	78	6.0	8.0