UNITY与典型程序设计模型的比较
文献类型：期刊论文
| 作者 | 肖美华 ; 薛锦云 ; 化志章 |
| 刊名 | 计算机工程与应用
 |
| 出版日期 | 2003 |
| 卷号 | 39期号:32页码:52-54,104 |
| 关键词 | 程序设计模型 UNITY 形式语义 程序转换 Seuss 程序转换 证明系统 设计模型 结构模式 计算模型 程序映射 新策略 命令式 逻辑式 计算机 函数式 规则式 体系 能力 理论 基础 机理 |
| ISSN号 | 1002-8331 |
| 其他题名 | compared with typical programming models in unity |
| 中文摘要 | UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力.该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略. |
| 收录类别 | wanfang |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。