询问-回答模式下层次式程序表示模型的构建方法

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:whf19
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。
其他文献
文章提出了一种基于设计模式描述EJB体系结构的模型,详细地说明了EJB Proxy模式和EJB Factory模式在其中的应用。通过使用这个模型,EJB组件及其重用过程变得更加易于理解,基于EJ
该文分析了病毒特性并总结了当今反病毒策略,针对传统方法应用范围小且被动等缺点,介绍了鉴于仿生思想的新的免疫系统原理,并将其具体化戍一个模型,该模型对病毒特征行为序列进行
世界资本像风一样地流动,使出现在拉美的金融病毒迅速在阿根廷、巴西、乌拉圭等国家流传开来,金融风暴所到之处带来的恐慌早已超过了拉登的恐怖袭击。那种今日不知明日的煎熬
期刊
快照是文件系统的静态只读副本,附网存储中的快照技术可以用于实现文件系统的活备份以及用于恢复被误删除的文件。笔者在设计附网存储的过程中,针对常用的快照技术进行了研究,提
睢阳县县令任延,因为政绩突出,治理有方,被汉光武帝刘秀提拔为武威郡太守。召见时,刘秀告诫任延说:“善事上官,无失名誉。”不料任延回答道:“臣听说忠臣不应随声附和,随和的
期刊
在传统的图像小波变换中,首先需要对每行进行小波变换,等所有的行变换完成后再进行列小波变换,然后再进行嵌入式量化和编码,这就需要足够的存储容量保存这些变换结果,而且运算速度
党的十五届五中全会审议通过的《中共中央关于制定国民经济和社会发展第十个五年计划的建议》(以下简称《建议》)通篇贯穿着昂扬的发展精神,体现着科学的发展观念,是新世纪中
期刊
近年来,随着我国住房制度改革和二级住房市场的开放,房屋买卖过程中发生的侵犯优先购买权争议日益增多,司法实践中常遇到的可分为两类,房屋共有人的优先购买权受到侵犯引起的纠纷
2011年9月1日,在厦门市嘉禾路25号新景中心C座10层,国广一叶厦门设计分公司800平方米综合办公中心、全国十佳室内设计企业国广一叶装饰机构厦门设计分公司隆重开业。当天,来自福
提出了一种基于加权中值塔形分解的图象融合算法,同拉普拉斯塔形分解方法相似,对图象的分解可以分成四步:中值滤波、降采样、插值放大、带通滤波,形成多尺度、多分辨率的塔形近似图象序列和细节图象序列。多传感器图象经过分解的图象序列,通过基于局部能量选择的融合规则和融合算子形成融合图象塔,然后进行中值塔形图象重构,完成图象融合。与已有塔形分解图象融合方法相比,不仅保留塔形分解的优点,融合图象精确,而且对脉冲