期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

程序设计法则(续)

下载PDF

导出

摘要域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情,P也能做,而Q不能做的事情,P也可能不能做。因此,无论从那一点来看,Q是一个比P更能预测、更能控制的程序。

作者 C.A.R.Hoare 宋国新

出处《计算机科学》 CSCD 北大核心 1989年第3期64-69,10,共7页 Computer Science

关键词程序设计法则

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

引文网络
相关文献

1美国提供设计传感器新的途径[J].世界仪表与自动化,2008,12(3):12-12.
2董磊.构造信息的建筑——产品用户界面设计[J].装饰,2008(2):128-129. 被引量：4
3庞然巨兽[J].科技新时代,2010(6):43-43.
4刘伟.关于商用网页的视觉设计法则研究[J].吉林艺术学院学报,2011(3):31-33.
5刘真.《Don’t make me think》,从网页设计到产品设计[J].科技与创新,2015(8):114-114. 被引量：1
6李践飞,周智勇,牛玉杰.潜艇垂直面运动标准化仿真模型研究[J].船电技术,2009,29(3):53-56. 被引量：1
7周峰,李秀梅.以用户体验为导向的电商界面情感化设计[J].设计,2015,28(3):122-123. 被引量：11
8C.A.R.Hoare,宋国新.程序设计法则[J].计算机科学,1989,16(2):1-9.
9王幸之.电力拖动控制系统工程设计原理及应用[J].河北机电学院学报,1997,14(3):19-24. 被引量：1
10王莹.玩味平面设计中的图片与色彩——谈平面设计中图片与色彩的运用[J].信息教研周刊,2013(3):14-15.

计算机科学

1989年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部