Abstract :
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.
Keywords :
software engineering; bounded file system capacity; bounded numbers; bounded queues; bounded stacks; code writing; computer science; similarly bounded Resources; File systems; Flash memories; Radiation detectors; Random access memory; Space vehicles; Boeing 787; Curiosity; Deep Impact; Dreamliner; EPOXI; GCU; LightSail; Mars rover; counter overflow; generator control unit; reliable code; software development; software engineering;
