论文部分内容阅读
讨论函数式语言中引入赋值操作,表达式的副作用对程序正确性检查的影响,同时也讨论了强制型语言中如何克服表达式的副作用.文中引入了良性副作用的概念,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论.
程序中表达式的副作用问题讨论
【摘 要】
：
讨论函数式语言中引入赋值操作,表达式的副作用对程序正确性检查的影响,同时也讨论了强制型语言中如何克服表达式的副作用.文中引入了良性副作用的概念,并对函数式语言和强制
【机 构】
：
湖南大学数学与计量经济学院,湖南大学计算机科学系
【出 处】
：
湖南大学学报：自然科学版
【发表日期】
：
2002年3期
【基金项目】
：
国家自然科学基金
其他文献
2019年底,皖北被规划为长三角一体化区域,皖北融入长三角一体化过程中有自身的优势和障碍,应从编制皖北融入长三角一体化的发展规划、构建皖北“一核双轴三圈”的空间布局、
[目的]探讨护理记录质量的干预方法和效果.[方法]选择全院2 788份护理记录,其中1 140份护理记录为对照组,1 648份护理记录为研究组,对照组采用常规检查法,研究组采用综合评价
随着人们生活方式和饮食结构的改变,高分辨率超声的应用,甲状腺结节的检出率和患病率逐年上升,重视甲状腺结节的预防和积极治疗是提高甲状腺治疗率的有效措施。如何将患者的
模拟猪十二指肠高胆盐环境，研究玉米、豆粕扣麦麸提取物对乳酸杆菌胆盐耐受力的影响．将约氏乳酸杆菌JJB3、SNZ10，罗伊氏乳酸杆菌MNZ8、KNZ4等4株菌在分别含有玉米、豆粕和麦麸提
长期以来,我国高校思政教育主要依托思政课和辅导员教导两个途径,但进入新时代以后,当前的思政教育已经难以满足人才培养和发展的需求,所以高校思政课程到课程思政的改革发展
摘要：高等数学是农科专业的基础课程，以培养面向21世纪农科专门人才为目标。本文通过对多种教学方法和教学模式的探索，初步形成了以学生为主体，教师为主导的教学新模式，培养学生创新思想，发展学生自学能力，提高学生综合素质。 关键词：农科高等数学；教学质量；创新；数学素养 中图分类号：G642.4 文献标志码：A 文章编号：1674-9324（2014）03-0081-02 作为农科类院校的一门重要
北京时间7月11日消息,据国外媒体报道,一项新研究称,融冰正导致地球的腰围＂不断增大,这一增肥＂现象由全球气候变暖所致.科学家表示,南极洲和格陵兰岛的融冰正导致海洋水量不断
<正>模板是混凝土的成型模具,是现浇混凝土结构工程中最为重要的组成部分。目前我国模板总施工体量已居于世界首位,模板脚手架相关行业总产值估计在1万亿元以上。铝合金模板
本文论述了采用参数化思想和图形建库工具Spreadsheet电子表格，采用UG软件面向用户的二次开发工具建立了部分标准件库，该研究方法将有利于设计人员对标准件的设计、修改、查询
基于Von Karman理论,建立了弹性椭圆板的非线性动力微分方程.引入了Kelvin-Voigt粘弹性本构关系后,得到用中面位移表述的非线性粘弹性运动控制方程组.然后应用Galerkin技术和