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

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

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法。

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.