论文部分内容阅读
本文给出了rCOS语言的一种操作语义。并说明该操作语义在程序分析中的一个应用,即模式识别。为了能够判断在以rCOS为元语言编写的程序中,是否正确地运行了某种设计模式,从而进一步能自动识别出程序中好的模式和坏的模式。
rCOS的操作语义在程序分析中的应用研究
【摘 要】
：
本文给出了rCOS语言的一种操作语义。并说明该操作语义在程序分析中的一个应用,即模式识别。为了能够判断在以rCOS为元语言编写的程序中,是否正确地运行了某种设计模式,从而
【机 构】
：
杭州惠贤科技有限公司;
【出 处】
：
信息与电脑(理论版)
【发表日期】
：
2011年10期
其他文献
厦门环岛干道(文曾路～厦大段)工程厦大隧道进口段为小净距隧道,以暗挖型式下穿城市主干道曾厝垵西路,由于曾厝垵西路管线密集,为安全通过曾厝垵西路,决定选用"一次性导向跟管
<正>新标准GB13544-2011《烧结多孔砖和多孔砌块》代替GB13544-2000《烧结多孔砖》将于2012年4月1日开始实施。为了加深烧结类生产企业对新标准的理解,共同探讨执行新标准的
深基坑位于闹市区,开挖深度13.6～18.3米。基坑紧邻城市主干道、市政管线和多栋建筑物,周边环境复杂。挡土结构采用内支撑与桩锚联合支护体系,地下水控制采取排水方案。
新世纪短篇小说数量巨大,也不乏佳作。本文在细读大量新世纪短篇小说的文本的基础上,结合学者们对新世纪短篇小说的解读和其他研究等,选取文体这一视角来深入探究新世纪短篇
随着社会和经济的发展,人类对林业的需求发生了重大变化,由原来只需为社会提供木材等林产品转向不仅要满足社会对木材等林产品的多样化的需求,更要满足改善生态环境、保障国
近年来,随着信息化的快速发展,电子商务也迎来了发展高峰。为了迎合这种社会的实际需求,不少高校开设了网络营销这门学科。网络营销的研究内容大都来自实践,这门课程现已成为
二茂铁基羧酸类配位聚合物,由于具备独特的拓扑结构和优异的光、电、磁性能,在磁性材料、修饰电极、传感器和氢气储存等方面有着广泛的应用前景。本论文围绕配位聚合物的制备
随着全球气候变暖,减少能耗、控制碳排放变得日益重要。物流作为能源消耗量较大的行业,应肩负起节能减排的责任,倡导低碳物流,改变物流粗放低效率的运作模式。配送是物流的一