利用属性文法对程序中的副作用进行检测

摘要：

表达式是程序的基本组成单位.在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用.表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃.首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测.

关键词：表达式的副作用、函数调用副作用、词法规则、属性文法

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：山东农业大学青年创新基金23470

在线出版日期：2013-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：276-279