【摘 要】
：
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented program
【机 构】
：
贵州大学计算机科学与信息学院，贵州贵阳 550025 贵州师范大学数学与计算机科学学院，贵州贵阳 550001
【出 处】
：
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)
论文部分内容阅读
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特点，违反了传统程序方法学中的模块化原则，从而容易引起方面干扰问题，使对面向方面程序进行模块化推理更加困难，严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型，描述了常用的面向方面程序的模块化推理方法，总结了面向方面程序的模块化推理尚存在的一些问题，指出了可能的研究方向。
其他文献
博物馆作为人们了解民族文化历史,启迪思想、陶冶灵魂的重要平台,近年来得到了党和国家的高度重视,成为社会主义精神文明建设的重要组成部分.在博物馆的运营中,做好文化创意
随着我国现代化脚步的加快和人民生活水平的提高,国内餐饮集团企业数量持续增长,而资金管理是餐饮集团企业财务管理系统的重要组成部分,良好有序的资金管理可以提高企业的利
组合服务的接口交互行为的分析和检测是服务计算领域的一个重要课题。本文以接口自动机为组合服务接口模型,引入组合环境的因素,提出了在给定的组合环境下服务接口交互强弱相
随着市场经济的不断发展成熟,企业规模不断扩大,竞争空前激烈,促使企业必须转变资金管理模式,由简单粗放型向现代管理模式转变.目前,资金集中管理模式已经成为集团公司发展的
日益严峻的网络安全形势和网络协议本身的缺陷，使传统的防火墙防御的方式无法胜任。为提高对网络入侵防御能力，提出了模糊神经网络集成的入侵检测模型：首先抓取网络中的数据
在当前国际国内新形势下,建筑企业面临着世界经济波动、国内政策变动、原材料价格和人工成本上升等不确定性的风险,而资金管理是抵御风险最强有力的“武器”.本文从建筑企业
一起由鼠伤寒沙门氏菌引起的食物中毒调查戴铨，张萍，丁力，光辉，彭辉（云南省红河州卫生防疫站６６１４００）１９９３年９月１８日，弥勒县虹溪镇三家村苗某为操办丧宴造成宾客２４４人食物中毒。根据流行病学调查、临床
企业内的业财融合,简单来说就是在开展生产经营管理的过程中,确保业务、财务两个部门能够形成良好的协作关系,进而使得管理的协同作用充分发挥出来.业务部门在开展生产经营活
随着网络时代的到来,截至2020年3月,我国手机网络支付用户规模达7.65亿;随着政府对无现金社会建设支持力度增大以及移动支付巨头进一步发力线下移动支付市场,在这样的发展背
财务共享中心是财务管理模式的探索创新,它通过广泛的企业财务数据报告,形成优质的企业管理模式,可以帮助企业合理规划财务走向,降低运作成本,实现财务管理价值的最大化和管