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

• 作者: 张广梅 李景霞
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 表达式的副作用 函数调用副作用 词法规则 属性文法
• 年，卷（期）: 2012,（z3）
• 所属期刊栏目: 形式化与网络应用
• 页码范围: 276-279
• 页数: 4页
• 分类号: TP311
• 字数: 6173字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广梅	山东农业大学信息科学与工程学院	20	79	5.0	8.0
2	李景霞	安徽农业大学信息与计算机学院	10	12	3.0	3.0