指向分析语义及其存在性证明

• 作者: 张明义 李松 杨波 谢刚
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 指向分析 语义 合适定义 证明
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 5-9,17
• 页数: 6页
• 分类号: TP311
• 字数: 7067字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.02.002

摘要

作为别名分析的主要形式，指向分析通过计算指向关系提供完整的别名关系。准确刻画指向分析中相关概念及语义十分有助于深入理解程序中指向关系的生成及变化过程，并为别名分析或指向分析相关形式化工作奠定理论基础。针对面向对象程序设计语言中一个与指向分析有关的基本子集，给出指向关系和指向状态的数学描述，定义一个指向分析语义函数 PT 以刻画面向对象程序中基本语句对指向状态的作用。最后证明了该语义是合适定义的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢刚	贵州师范大学数学与计算机科学学院	20	82	5.0	8.0
2	杨波	贵阳学院电子与通信工程学院	23	90	6.0	8.0
3	张明义		18	89	5.0	9.0
4	李松	贵阳学院科技处	12	23	3.0	4.0