摘要
表达式是程序的基本组成单位。在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用。表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃。首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测。
表达式是程序的基本组成单位。在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用。表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃。首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测。
出处
《计算机科学》
CSCD
北大核心
2012年第S3期276-279,共4页
Computer Science
基金
山东农业大学青年创新基金(23470)资助
关键词
表达式的副作用
函数调用副作用
词法规则
属性文法
Side effect of an expression
Side effect of function call
Lexical rule
Attributed grammar