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

Compared with Typical Programming Models in UNITY

作　　者：肖美华[1] 薛锦云[1] 化志章[1] 

机构地区：[1]中国科学院软件研究所计算机科学重点实验室

出　　处：《计算机工程与应用》2003年第32期52-54,104,共4页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(编号:60273092)

摘　　要：UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。UNITY is a simple unified theory,computational model and proving system,and has expressive power in rep-resenting programs for a variety of architectures.This paper firstly introduces UNITY,secondly analyzes the differences between UNITY and the typical programming models(say Functional,Imperative,Logical,Rule-based,Petri,CSP),and gives their equivalent program transforms compared with UNI TY,UNITY is not versatile,the improving strategy is pur-posed in Seuss.

关 键 词：程序设计模型 UNITY形式语义 程序转换 Seuss 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]