|
摘要:安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定叉、分析和完整的正确性证明.与一般的值范围分析方法不同,该框架不仅包括抽象解释,还包括与之对应的具体解释,以及相应的正确性证明. | |
|---|---|---|
| 格式:PDF 页数:7 页 页码范围:2020-2026页 | ||
学科分类:
|
||
| 关 键 词:值范围分析 抽象解释 编译器优化 软件工程 | ||
| 来源期刊:《计算机研究与发展》2006年 第11期 | ||
| 收录数据库:中文科技期刊数据库 | ||
网站首页 |
关于我们 |
联系我们 |
产品服务 |
客服中心 |
广告服务 |
版权声明 |
网站联盟 |
友情链接 |
售卡网点 |
商务链
| 商务链接 | 小说阅读网 | 快播电影 | 电棍 | 百度影音 | 综艺大哥大 | 肺癌 | 神印王座 |
| 不孕不育医院 | 3u小说 | 快播电影 | 伴游网 | www.reyoo.net | 不孕不育医院 | 美国留学 | 3gp手机电影下载 |
| 脱发原因及治疗 | 网页版传奇 | 2012最新电影 | 女人女性 | 化妆品 | 成人小游戏 | 上海白癜风医院 | 遮天快眼看书 |
| qvod电影 | 类风湿 | 美白方法 | 髓损伤 | 神印王座 | 胸部整形 | 快速美白的方法 | 帕金森治疗 |
| 生活指南 | 淘宝网女装 | 百度影音 | 全讯网 | jj斗地主官网下载 | 肝硬化治疗 | 小儿脑瘫 | 女丽女性网 |
