切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
rCOS的操作语义在程序分析中的应用研究
rCOS的操作语义在程序分析中的应用研究
来源 :信息与电脑(理论版) | 被引量 : 0次 | 上传用户:luoch668
【摘 要】
:
本文给出了rCOS语言的一种操作语义。并说明该操作语义在程序分析中的一个应用,即模式识别。为了能够判断在以rCOS为元语言编写的程序中,是否正确地运行了某种设计模式,从而
【作 者】
:
徐晓明
【机 构】
:
杭州惠贤科技有限公司;
【出 处】
:
信息与电脑(理论版)
【发表日期】
:
2011年10期
【关键词】
:
rCOS
操作语义
程序分析
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出了rCOS语言的一种操作语义。并说明该操作语义在程序分析中的一个应用,即模式识别。为了能够判断在以rCOS为元语言编写的程序中,是否正确地运行了某种设计模式,从而进一步能自动识别出程序中好的模式和坏的模式。
其他文献
一次性导向跟管钻进法大管棚施工技术在下穿城市道路浅埋小净距隧道的应用
厦门环岛干道(文曾路~厦大段)工程厦大隧道进口段为小净距隧道,以暗挖型式下穿城市主干道曾厝垵西路,由于曾厝垵西路管线密集,为安全通过曾厝垵西路,决定选用"一次性导向跟管
期刊
下穿城市道路
浅埋暗挖隧道
管棚施工
跟管钻进法
认真贯彻GB13544—2011《烧结多孔砖和多孔砌块》新标准要求
<正>新标准GB13544-2011《烧结多孔砖和多孔砌块》代替GB13544-2000《烧结多孔砖》将于2012年4月1日开始实施。为了加深烧结类生产企业对新标准的理解,共同探讨执行新标准的
期刊
《烧结多孔砖和多孔砌块》
标准要求
GB13544
孔洞率
关于《马克思列宁主义基本问题》全面理解社会主义取代资本主义的历史必然性
期刊
历史必然性
科学社会主义理论
社会主义
《马克思列宁主义基本问题》
马克思列宁主义
内支撑与桩锚联合支护体系在深基坑工程中的应用
深基坑位于闹市区,开挖深度13.6~18.3米。基坑紧邻城市主干道、市政管线和多栋建筑物,周边环境复杂。挡土结构采用内支撑与桩锚联合支护体系,地下水控制采取排水方案。
期刊
深基坑
挡土结构
内支撑与桩锚
地下水控制
新世纪短篇小说文体研究
新世纪短篇小说数量巨大,也不乏佳作。本文在细读大量新世纪短篇小说的文本的基础上,结合学者们对新世纪短篇小说的解读和其他研究等,选取文体这一视角来深入探究新世纪短篇
学位
新世纪
短篇小说
文体
叙事
古代短篇小说
卡尔维诺
卡佛
湖南省森林公园公益林生态补偿标准研究
随着社会和经济的发展,人类对林业的需求发生了重大变化,由原来只需为社会提供木材等林产品转向不仅要满足社会对木材等林产品的多样化的需求,更要满足改善生态环境、保障国
学位
森林公园
公益林
生态补偿
补偿机制
基于工作过程的网络营销课程教学创新
近年来,随着信息化的快速发展,电子商务也迎来了发展高峰。为了迎合这种社会的实际需求,不少高校开设了网络营销这门学科。网络营销的研究内容大都来自实践,这门课程现已成为
期刊
网络营销
教学方式
教学创新
二茂铁基羧酸类配位聚合物的合成及其在储氢方面的应用
二茂铁基羧酸类配位聚合物,由于具备独特的拓扑结构和优异的光、电、磁性能,在磁性材料、修饰电极、传感器和氢气储存等方面有着广泛的应用前景。本论文围绕配位聚合物的制备
学位
二茂铁基羧酸
配位聚合物
微球
混合金属
储氢
多车型辆路径问题研究与应用
随着全球气候变暖,减少能耗、控制碳排放变得日益重要。物流作为能源消耗量较大的行业,应肩负起节能减排的责任,倡导低碳物流,改变物流粗放低效率的运作模式。配送是物流的一
学位
车辆路径问题
多车型
能耗成本
遗传算法
低碳物流
现代木结构拱桥力学性能分析与试验研究
现代木结构的优越性已是有目共睹,并且在国外得到了广泛的应用,然而在国内却属于新型、稀奇结构,尤其是重型木结构实为少数。本文首先结合我国森林资源、市场需求等情况分析
学位
现代木结构
静力特性
动力特性
稳定性
荷载试验
与本文相关的学术论文