| UNITY与典型程序设计模型的比较 |
| 其他题名 | compared with typical programming models in unity
|
| 肖美华; 薛锦云; 化志章
|
| 2003
|
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331
|
| 卷号 | 39期号:32页码:52-54,104 |
| 摘要 | UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力.该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略. |
| 收录类别 | wanfang
|
| 关键词 | 程序设计模型
Unity
形式语义
程序转换
Seuss
程序转换
证明系统
设计模型
结构模式
计算模型
程序映射
新策略
命令式
逻辑式
计算机
函数式
规则式
体系
能力
理论
基础
机理
|
| 部门归属 | 中国科学院软件研究所计算机科学重点实验室,北京,100080;南昌大学计算中心,南昌,330029;江西师范大学计算机科学系,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080;江西师范大学计算机科学系,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080;江西师范大学计算机科学系,南昌,330027
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13132
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
肖美华,薛锦云,化志章. UNITY与典型程序设计模型的比较[J]. 计算机工程与应用,2003,39(32):52-54,104.
|
| APA |
肖美华,薛锦云,&化志章.(2003).UNITY与典型程序设计模型的比较.计算机工程与应用,39(32),52-54,104.
|
| MLA |
肖美华,et al."UNITY与典型程序设计模型的比较".计算机工程与应用 39.32(2003):52-54,104.
|
修改评论