Garment中的归约语义  

THE REDUCTION SEMANTICS IN GARMENT

作　　者：郑红军[1] 张乃孝[1] 

机构地区：[1]北京大学计算机科学与技术系

出　　处：《计算机研究与发展》1998年第6期486-490,共5页Journal of Computer Research and Development

基　　金：国家自然科学基金

摘　　要：文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型．在此代数模型下讨论了归约语义及其性质，并给出了语言可归约的充分条件．The reduction semantics for programming languages in Garment is studied with an algebraic approach.The meaning of the reduction semantics in formal language theory is explained.And then an algebraic model for programming languages in Garment is proposed.The reduction semantics and its properties are discussed by using the algebraic model.Finally the sufficient conditions for reducible languages are given.

关 键 词：Grament 程序设计语言 归约语义 

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