基于轨迹的程序语义之一: 轨迹与语义对象

作     者：王岩冰 陆汝占 WANG Yanbing;LU Ruzhan

作者机构：上海交通大学计算机系 

基　　金：国家自然科学基金 南京大学计算机软件新技术国家重点实验室基金 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：1998年第9卷第5期

页      码：366-370页

摘      要：本文提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理．本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言．本文首先引入轨迹概念和模型语言，然后讨论该语言的各句法成分所对应的语义论域。

主 题 词：轨迹 程序语义 语义对象 程序设计语言 

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

核心收录：

D　O　I：10.13328/j.cnki.jos.1998.05.009

馆 藏 号：203256078...