检索结果-维普期刊中文期刊服务平台

Unity和Gamma之间的程序变换:一个实例研究被引量：1: 1; 作者王敏丁卫群《小型微型计算机系统》 EI CSCD 北大核心 1998年第5期40-47,共8页; Ｇａｍｍａ和Ｕｎｉｔｙ都是面向问题描述的编程模型。本文中我们提出了一种从Ｕｎｉｔｙ到Ｇａｍｍａ的语义等价的程序变换方法，进而我们证明，Ｇａｍｍａ比相应的Ｕｎｉｔｙ有更强的表达能力。同时，也提出了逆转换方法。把这些方法... 展开更多; 关键词程序变换 unity gamma语言; 在线阅读下载PDF 职称材料

从公理语义看UNITY模型和GAMMA模型的关系: 2; 作者林洪陈国良《中国科学技术大学学报》 CAS CSCD 北大核心 1996年第4期450-455,共6页; ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮ... 展开更多; 关键词公理语义程序变换 unity模型 gamma模型; 在线阅读下载PDF 职称材料

UNITY与典型程序设计模型的比较: 3; 作者肖美华薛锦云化志章《计算机工程与应用》 CSCD 北大核心 2003年第32期52-54,104,共4页; UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、C... 展开更多; 关键词程序设计模型 unity形式语义程序转换 Seuss; 在线阅读下载PDF 职称材料