基于轨迹的指称语义方法

• 作者: 林治
• 来源期刊: 新疆师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 轨迹 指称语义 静态论域
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 计算机与物理学
• 页码范围: 129-131
• 页数: 3页
• 分类号: TP391.2
• 字数: 3834字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-9659.2007.03.044

摘要

文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.文章引入了轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,并对过程和函数进行了一些描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林治	扬州教育学院计算机系	7	30	2.0	5.0