项重写技术及其在代数规范说明中的应用

项目介绍

AI项目解读

基本信息

批准号：
69173315
项目类别：
面上项目
资助金额：
3.0万
负责人：
陈意云
依托单位：
中国科学技术大学
学科分类：
F0204.计算机系统结构与硬件技术
结题年份：
1993
批准年份：
1991
项目状态：
已结题
起止时间：
1992-01-01 至1993-12-31

项目参与者：
马万里；张健；郭青；纪金龙；
关键词：

项目摘要

暂无数据

结项摘要

暂无数据

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

暂无数据

数据更新时间：2024-06-01

其他文献

一个支持位运算推理的抽象机器

DOI：
--
发表时间：
--
期刊：
小型微型计算机系统,已录用
影响因子：
--
作者：
项森;陈意云;林春晓
通讯作者：
林春晓

指针类型递归函数前后开关图的自动推断

DOI：
--
发表时间：
--
期刊：
小型微型计算机系统
影响因子：
--
作者：
宋艳辉;李兆鹏;陈意云
通讯作者：
陈意云

一种出具证明编译器中的汇编级断言和证明生成的方法

DOI：
--
发表时间：
2011
期刊：
小型微型计算机系统
影响因子：
--
作者：
张臻婷;李兆鹏;陈意云;杨思敏;庄重
通讯作者：
庄重

一个程序验证器的设计和实现

DOI：
--
发表时间：
2013
期刊：
计算机研究与发展
影响因子：
--
作者：
张志天;李兆鹏;陈意云;刘刚
通讯作者：
刘刚

一个关于程序时间性质的验证框架

DOI：
--
发表时间：
--
期刊：
计算机应用与软件
影响因子：
--
作者：
郭宇;陈意云;蒋信予
通讯作者：
蒋信予

共 43 条前往

页

陈意云的其他基金

提高程序验证自动化程度的技术

批准号：
61170018
批准年份：
2011
资助金额：
56.0 万元
项目类别：
面上项目

面向携带证明软件设计的语言、逻辑和证明

批准号：
90718026
批准年份：
2007
资助金额：
50.0 万元
项目类别：
重大研究计划

软件安全性的验证和编译

批准号：
60673126
批准年份：
2006
资助金额：
25.0 万元
项目类别：
面上项目

类型论在软件安全方面的应用研究

批准号：
60473068
批准年份：
2004
资助金额：
5.0 万元
项目类别：
面上项目

基于语言理论和实现技术的移动代码安全

批准号：
60173049
批准年份：
2001
资助金额：
18.0 万元
项目类别：
面上项目

结构化Gamma在软件系统结构中的应用研究

批准号：
69773025
批准年份：
1997
资助金额：
10.0 万元
项目类别：
面上项目

构造方法在软件开发中的应用研究

批准号：
69373016
批准年份：
1993
资助金额：
5.0 万元
项目类别：
面上项目