Institutional Repository
| UNITY与典型程序设计模型的比较 | |
| Alternative Title | compared with typical programming models in unity |
| 肖美华; 薛锦云; 化志章 | |
| 2003 | |
| Source | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| Volume | 39Issue:32Pages:52-54,104 |
| English Abstract | UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力.该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略. |
| Indexed Type | wanfang |
| Keyword | 程序设计模型 Unity 形式语义 程序转换 Seuss 程序转换 证明系统 设计模型 结构模式 计算模型 程序映射 新策略 命令式 逻辑式 计算机 函数式 规则式 体系 能力 理论 基础 机理 |
| Department | 中国科学院软件研究所计算机科学重点实验室,北京,100080;南昌大学计算中心,南昌,330029;江西师范大学计算机科学系,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080;江西师范大学计算机科学系,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080;江西师范大学计算机科学系,南昌,330027 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13132 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| UNITY与典型程序设计模型的比较.pd（156KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment