共 50 条
- [10] OUT OF BOUNDS[J]. AMERICAN MATHEMATICAL MONTHLY, 1989, 96 (06): : 530 - 531RIESE, ATRENCH, WF
Out of Bounds
被引：0
|作者：
Holzmann, Gerard J.
[1
]
机构：
[1] Jet Prop Lab, Developing Stronger Methods Software Anal Code Re, Pasadena, CA 91109 USA
关键词：
Boeing;
787;
counter overflow;
Curiosity;
Deep Impact;
Dreamliner;
EPOXI;
GCU;
generator control unit;
LightSail;
Mars rover;
reliable code;
software development;
software engineering;
D O I：
10.1109/MS.2015.147
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ;
0835 ;
摘要：
Writing reliable code means understanding bounds. Only a finite amount of memory is available for computation, only a finite amount of time exists to do it, and every object we store and modify must be finite. Resources are similarly bounded. Stacks are bounded, queues are bounded, file system capacity is bounded, and even numbers are bounded. This makes the world of computer science very different from the world of mathematics, but too few people take this into account when they write code. © 2015 IEEE.
引用
收藏
页码：24 / 26
页数：3
相关论文