|
|||||
|
|
| 基于时迹的指称语义方法 | |
| 引用本文： | 华凡,王岩冰.基于时迹的指称语义方法[J].山东师范大学学报(自然科学版),1999,14(4):448-450. |
| 作者姓名： | 华凡 王岩冰 |
| 作者单位： | 山东师范大学信息管理学院!250014，济南，山东师范大学信息管理学院!250014，济南 |
| 摘 要： | 采用基于时迹的双层指标语义框架讨论过程式语言的形式语义，主要给出对过程和函数的描述。 |
| 关 键 词： | 时迹 指标语义法 过程式语言 形式语义 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |