数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
Garment 中的归约语义作者：郑红军、张乃孝原载：计算机研究与发展，Vol.35No.6 p486-490，1998.6. 摘要：本文用代数方法研究了Garment 中程序设计语言的归约语义，首先给出 了归约语义在形式语言理论中的含义，然后提出了Garment 中语言的代数模型。 在此代数模型下讨论了归约语义及其性质，并给出了语言可归约的充分条件。 关键词: Garment 程序设计语言 归约语义 基调 项代数 下载：[pdf]
论文著作的详细列表
|
|||