首页> 中文期刊>计算机研究与发展 >程序的等价性证明

程序的等价性证明

开具论文收录证明 >>

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

页面导航

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

摘要

通常讨论程序的等价性要借助于正确性.本文给出一个逻辑系统直接推导while程序的等价性,而不涉及正确性,此系统的基础是L_(w_1o).我们分解循环语句从而作出刻划等价性的公理,最后证明所给逻辑系统是完备的.

著录项

来源
《计算机研究与发展》|1989年第4期|34-38|共5页
作者
宋方敏;
展开▼
作者单位

无;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
程序; 等价性; 逻辑系统; While程序;
入库时间 2023-07-25 09:27:46

相似文献

中文文献
外文文献
专利

1. 三角形“三大定理”的统一证明及等价性证明 [J] . 阿德明 ,全生寅 . 青海教育 . 2000,第006期
2. 对行政诉讼证明标准的思考--兼论行政诉讼证明标准与行政程序证明标准之应然关系 [J] . 熊洋 . 河南理工大学学报（社会科学版） . 2006,第001期
3. 再谈拉格朗日函数非唯一性的物理意义:广义规范变换和正则变换的等价性证明 [J] . 韦联福 . 物理与工程 . 2021,第002期
4. 表示学习中句子与随机游走序列等价性的一种新证明 [J] . 孙燕 ,孙茂松 ,赵海兴 . 计算机工程与科学 . 2020,第002期
5. 热力学中四个麦克斯韦关系式之等价性及证明 [J] . 蔡邦宏 . 科学大众（科学教育） . 2019,第002期
6. 如何证明电脑程序正确? [C] . 杨武 ,冯品佳 . 第十届海峡两岸（内蒙古）科普论坛 . 2017
7. C—代数强自吸收的等价性证明和强自吸收C—代数性质优化 [A] . 韩涛 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号