期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

基于Pro图的程序形式推导技术

下载PDF

导出

摘要介绍一种形式化程序推导方法该法使用Ｈｏａｒｅ公式｛Ｐ｝Ｓ｛Ｑ｝，通过Ｐｒｏ图图解前谓词Ｐ和后谓词Ｑ。

作者刘育刚

机构地区哈尔滨工程大学计算机与信息科学系

出处《哈尔滨工程大学学报》 EI CAS CSCD 1997年第3期108-109,共2页 Journal of Harbin Engineering University

关键词谓语逻辑程序推导程序设计 Pro图源程序

分类号 TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1薛锦云.复杂算法程序的规范证明和形式推导[J].江西师范大学学报（自然科学版）,1992,16(3):195-202. 被引量：1
2吕建国,徐家福.程序推导的表示[J].计算机科学,1991,18(2):9-12.
3张哲,丁志义.一种程序推导与验证方法研究[J].软件导刊,2014,13(6):9-10.
4赵东范,刘磊,宋力彤.过程式语言部分求值循环展开的有效处理方法[J].计算机研究与发展,2000,37(1):102-108. 被引量：1
5吕建国,徐家福.程序推导表示的一些研究结果[J].自然科学进展（国家重点实验室通讯）,1994,4(4):497-500.
6李桂丽,孙晓鹏,高晓峰.基于构件设计的思想[J].鞍山钢铁学院学报,2001,24(5):350-351. 被引量：4
7李新南.《VB程序设计》中“选择法排序”的课堂教学[J].知识经济,2011(14):132-133.
8刘育刚.递归Prolog程序的正确性证明[J].计算机学报,1996,19(1):64-67. 被引量：2
9刘菲菲.手把手教你激活卡巴斯基安全部队2011[J].网络与信息,2010,24(10):60-61.
10石海鹤,揭安全,薛锦云.0-1背包问题的一种新解法[J].计算机工程,2008,34(17):37-38. 被引量：6

哈尔滨工程大学学报

1997年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部