2024年6月27日
星期四
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(60473068)
作品数:
12
被引量:50
H指数:4
相关作者:
陈意云
张昱
黄海军
吴年
李兆鹏
更多>>
相关机构:
中国科学技术大学
中国科学院软件研究所
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
14个
自动化与计算...
4个
文化科学
2个
经济管理
2个
电子电信
2个
电气工程
2个
自然科学总论
2个
理学
1个
一般工业技术
主题
9个
代码
8个
形式化
7个
形式化方法
7个
高可信
7个
HOARE逻...
6个
高可信软件
6个
编程
6个
COQ
5个
虚拟机
5个
指针逻辑
5个
数据流
5个
垃圾
5个
编程语言
4个
动态存储管理
4个
循环不变式
4个
谓词
4个
内存
3个
代码安全
3个
引擎
3个
漏洞
机构
14个
中国科学技术...
3个
中国科学院软...
2个
安徽省计算与...
1个
吉林大学
1个
中国科学院
资助
14个
国家自然科学...
5个
国家高技术研...
3个
安徽省自然科...
2个
江苏省自然科...
2个
国家教育部博...
1个
国家重点基础...
1个
中国博士后科...
1个
中国科学技术...
1个
国家杰出青年...
1个
华为科技基金...
1个
安徽省高校省...
1个
安徽省教育厅...
1个
苏州市科技计...
1个
中国科学技术...
1个
中央高校基本...
传媒
13个
小型微型计算...
9个
计算机研究与...
7个
计算机工程与...
6个
计算机学报
6个
计算机工程
6个
软件学报
4个
计算机科学
4个
计算机教育
3个
电子技术(上...
3个
计算机应用与...
2个
电信科学
2个
中国大学教学
2个
中国科学技术...
2个
计算机应用
2个
教育与现代化
2个
计算机工程与...
2个
第二届中国计...
2个
第二十一届中...
2个
中国计算机学...
1个
电力系统自动...
地区
14个
安徽省
共
14
条 记 录,以下是 1-10
全选
清除
导出
陈意云
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
发表作品
相关人物
供职机构
所获资助
研究领域
张昱
供职机构:中国科学技术大学
研究主题:自动驾驶 XPATH XML流 即时编译器 编译原理课程
发表作品
相关人物
供职机构
所获资助
研究领域
吴年
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:XML流 索引 查询 XPATH 自动机
发表作品
相关人物
供职机构
所获资助
研究领域
黄海军
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式语义 信息流安全 无干扰 检查程序 数据流分析方法
发表作品
相关人物
供职机构
所获资助
研究领域
李兆鹏
供职机构:中国科学技术大学软件学院
研究主题:HOARE逻辑 出具证明编译器 指针逻辑 循环不变式 自动定理证明
发表作品
相关人物
供职机构
所获资助
研究领域
项森
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化方法 代码安全 高可信软件 动态存储管理 COQ
发表作品
相关人物
供职机构
所获资助
研究领域
华保健
供职机构:中国科学技术大学软件学院
研究主题:指针逻辑 HOARE逻辑 出具证明编译器 ANDROID 编译器
发表作品
相关人物
供职机构
所获资助
研究领域
李隆
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:高可信软件 COQ 形式化方法 动态存储管理 垃圾收集机制
发表作品
相关人物
供职机构
所获资助
研究领域
付雄
供职机构:中国科学技术大学
研究主题:JAVACC XPATH XML 解析器 终结
发表作品
相关人物
供职机构
所获资助
研究领域
高鹰
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:代码迷惑 有效性 WEB服务器集群 URL 负载均衡
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张