Garment中的归约语义

作     者：郑红军 张乃孝 

作者机构：北京大学计算机科学与技术系 

基　　金：国家自然科学基金 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：1998年第35卷第6期

页      码：486-490页

摘      要：文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型．在此代数模型下讨论了归约语义及其性质，并给出了语言可归约的充分条件．

主 题 词：Grament 程序设计语言 归约语义 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203104081...