基于时迹的指称语义方法  

作　　者：华凡[1] 王岩冰[1] 

机构地区：[1]山东师范大学信息管理学院,济南250014

出　　处：《山东师范大学学报（自然科学版）》1999年第4期448-450,共3页Journal of Shandong Normal University(Natural Science)

摘　　要：采用基于时迹的双层指称语义框架讨论过程式语言的形式语义。

关 键 词：时迹 指标语义法 过程式语言 形式语义 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]