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

Detection Side Effect in Expressions by Using Attributed Grammar

作　　者：张广梅[1] 李景霞[2] 

机构地区：[1]山东农业大学信息科学与工程学院,泰安271000 [2]安徽农业大学信息与计算机学院,合肥230036

出　　处：《计算机科学》2012年第S3期276-279,共4页Computer Science

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

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

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]