| 从公理语义看UNITY模型和GAMMA模型的关系 |
| |
| 引用本文： | 林洪 陈国良. 从公理语义看UNITY模型和GAMMA模型的关系[J]. 中国科学技术大学学报, 1996, 26(4): 450-455 |
| |
| 作者姓名： | 林洪 陈国良 |
| |
| 作者单位： | 计算机系 |
| |
| 摘 要： | ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型
|
| 关 键 词： | 公理语义，程序变换，并行计算模型，GAMMA，UNITY |
Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics |
| |
| Lin Hong Chen Guoliang. Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics[J]. Journal of University of Science and Technology of China, 1996, 26(4): 450-455 |
| |
| Authors: | Lin Hong Chen Guoliang |
| |
| Affiliation: | Dept. of Computer Science |
| |
| Abstract: | |
| |
| Keywords: | axiomatic semantics program transformation parallel computation model GAMMA UNITY |
| 本文献已被 CNKI 维普 等数据库收录！ |
