作者:杨波 谢刚 李松 张明义指向分析语义合适定义证明
摘要:作为别名分析的主要形式,指向分析通过计算指向关系提供完整的别名关系。准确刻画指向分析中相关概念及语义十分有助于深入理解程序中指向关系的生成及变化过程,并为别名分析或指向分析相关形式化工作奠定理论基础。针对面向对象程序设计语言中一个与指向分析有关的基本子集,给出指向关系和指向状态的数学描述,定义一个指向分析语义函数PT以刻画面向对象程序中基本语句对指向状态的作用。最后证明了该语义是合适定义的。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社