【摘 要】
：
数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，我们将方法序列规范与传统
论文部分内容阅读
数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，我们将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法。当类中方法的调用顺序符合该类的方法序列规范时，应用提出的方法能确保发现所有的介于不同方法之间的数据流异常。
其他文献
对多模型算法的发展过程进行了回顾和评述.分析了固定结构多模型算法的局限性.在变结构多模型算法的实现方法中,介绍了激活有向图方法、自适应网格方法和有向图切换方法.通过
蒙德里安的新造型主义抽象绘画是对人与环境和谐关系的冥想,它要求以唤起纯粹的美感,来表现出世界本质精神。老庄美学是中国传统美学中非常重要的一个构成部分,其中包含了很
20世纪80年代,财务共享服务中心兴起,其主要是为大公司提供服务,被用来处理一些财务上的基本业务。全球化的高速推进带来了跨地区、跨行业的企业集团之间的合作,企业集团于是建立了越来越多的分支机构和子公司,随之而来的是机构的臃肿和运行的低效率。同时,公司业务的快速膨胀和指令交付的延迟也造成了诸如集团整体运行效率降低和内部管理费用增加等问题。在这样的大趋势下,越来越多的外国企业正试图建立财务共享服务中心
<正>当原材料配比已经无比接近的时候,营销往往却成了美妆品牌真正的试金石。与其说消费者是在选购产品,不如说是在购买相似的价值观。"摇滚系"95后女孩窦靖童代言了SK-Ⅱ?消
【摘要】语文课程标准指出：评价要保护学生自尊和自信，关注个体处境和需要，激发积极主动的情感。评价的最终目的是让孩子们获得发展，而不是获得“宣判”。所以，教师在评价学生时，只要心中有“爱”，从爱护学生、保护学生自尊出发，那么评价就是有温度的、真心实意的，对树立学生自信是很有帮助的。因此教师在评价中要把握好尺度。 【关键词】改革;评价;尺度;树立自信 评价是阳春三月的微风，能吹开孩子自信的花蕊;评
作为中日两国著名的小说家,研究者们早已对郁达夫和志贺直哉的小说分别进行了全方位的分析,然而却很少有将两人的小说进行对比研究的。众所周知,中国的现代小说深受日本大正
针对FPGA/CPLD芯片设计中常常会遇到脉宽识别的问题，根据实际工程设计了一种同步重频分选器，它在某些通讯系统中有极其重要的应用。主要介绍如何通过同步有限状态机来设计该数
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
乡村振兴战略是为解决我国“三农”问题而提出的重要决策,建设特色小镇为乡村振兴战略提供了契机。重点探析了特色小镇建设对促进乡村经济发展的作用,以安徽省灵璧县渔沟镇为
短视频行业的持续高速增长催生了MCN机构的快速发展。对于正在寻求转型升级的广电媒体而言,MCN不仅是行业资本涌入的“新风口”,其平台化的运作模式,更是与广电媒体有着高度