程序中表达式的副作用问题讨论

• 作者: 张大方 范年柏
• 来源期刊: 湖南大学学报（自然科学版）
• 关键词: 函数型语言 强制型语言 赋值语句 副作用
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 120-123
• 页数: 4页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3321/j.issn:1000-2472.2002.03.025

摘要

讨论函数式语言中引入赋值操作,表达式的副作用对程序正确性检查的影响,同时也讨论了强制型语言中如何克服表达式的副作用.文中引入了良性副作用的概念,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学计算机科学系	295	2498	22.0	33.0
2	范年柏	湖南大学数学与计量经济学院	17	104	5.0	10.0