机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2009 [1]
• 2007 [2]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于时序逻辑证明编译优化程序变换的保义性 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086 陶秋铭; 赵琛; 郭亮   |  收藏  |  浏览/下载：22/0  |  提交时间：2010/08/25 时序逻辑  形式规约  优化编译  程序变换  语句交换  变量替换  语句重排   基于抽象解释的代码迷惑有效性比较框架 期刊论文  OAI收割 计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云 收藏  |  浏览/下载：68/6  |  提交时间：2011/07/01 抽象解释  程序变换  程序分析  代码迷惑  压平算法  抽象解释  代码迷惑  有效性证明  比较框架  非语义  算法  实例描述  静态分析  变换技术  保护软件  应用  剖析  逆向  环境  程序Algorithms  Computer software  Mobile agents  Program diagnostics  Security of data  Semantics  Static analysis   算法程序变换研究与进展 期刊论文  OAI收割 计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238 石海鹤; 石海鹏; 郑宇军; 薛锦云   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/01 算法程序变换  自动化  形式化方法  算法设计  算法程序  程序变换  软件自动化  程序开发  设计方法学  程序的可靠性  支撑工具  研究方向  相关概念  适用领域  生产效率  设计能力  科学领域  计算机  语言  课题  分类