|
|||||
|
|
| Gamma的语义研究 | |
| 引用本文： | 林洪,王敏.Gamma的语义研究[J].计算机工程与科学,1996,18(4):7-15. |
| 作者姓名： | 林洪 王敏 |
| 摘 要： | 在推导程序属性方面,公理语义比操作语义具有更多的优点。本文定义Gamma 的时态语义,它是已有工作的进一步精确化;本文证明这种时态语义与结构化操作语义是一致的。 |
| 关 键 词： | 形式语义 时态逻辑 并行计算模型 Gamma |
On Gamma Semantics |
|
| Abstract: | Axiomatic semantics are more suitable than operationaI semantics to infer program attributes.This paper defines the temporal semantics of Gamma,which are elaborations on existing works.We have proved the consistency between temporal se- mantics and structural operational semantics. |
| Keywords: | formal semantics temporal logic parallel computation model Gamma |
| 本文献已被 维普 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |