首页> 中文期刊>计算机学报 >一种程序综合方法

一种程序综合方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过证明程序规约的方法可构造相应程序.但对"难题"和无证明的规约,无法使用这种方法构造程序.另一方面,如果可构造程序规约的验证程序,则可把这种程序看成该规约的程序.本文讨论了程序规约的验证程序的构造方法,作为研究程序自动化的一种途径.

著录项

来源
《计算机学报》|1996年第11期|833-840|共8页
作者
全炳哲; 陈伟; 金淳兆;
展开▼
作者单位

吉林大学计算机科学系,长春,130023;

吉林大学计算机科学系,长春,130023;

吉林大学计算机科学系,长春,130023;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
自动程序设计; 程序综合; 程序正确性; 形式规约; 软件自动化;
入库时间 2023-07-25 14:02:44

相似文献

中文文献
外文文献
专利

1. 并行程序的一种形式化硬件综合方法 [J] . 刘冬梅 ,宋国新 . 华东理工大学学报（自然科学版） . 2001,第005期
2. 并行程序的一种形式化硬件综合方法 [J] . 刘冬梅 ,宋国新 . 华东理工大学学报：社会科学版 . 2001,第005期
3. 多进程下子程序综合方法研究 [J] . 胡燕翔 ,孟晗 . 计算机工程 . 2006,第015期
4. RTL综合中子程序的综合方法 [J] . 袁媛 ,谢巍 ,刘明业 . 电子学报 . 2002,第002期
5. 自顶向下的归纳程序综合方法 [J] . 王志坚 ,王军 ,徐家福 . 计算机研究与发展 . 1992,第002期
6. 基于Tableau的程序综合方法的完全正确性证明 [C] . 高晓雷 ,缪淮扣 . 2003中国计算机大会 . 2003
7. 基于综合方法的中医临床实践指南制定程序研究 [A] . 史楠楠 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号