从公理语义看UNITY模型和GAMMA模型的关系  

Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics

作　　者：林洪 陈国良 

出　　处：《中国科学技术大学学报》1996年第4期450-455,共6页JUSTC

基　　金：国家自然科学基金

摘　　要：ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法。Both GAMMA and UNITY are programming models catering to problem description.The axiomatic semantics of UNITY language is specified with UNITY logic;and this specification language can also be naturally transplanted to GAMMA model.This paper presents a method of program transformation from UNITY to GAMMA based on semantic equivalence,thus proving that the expressiveness of GAMMA is stronger than that of UNITY.

关 键 词：公理语义 程序变换 UNITY模型 GAMMA模型 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]