Formalization of Time and Space
- 38 Downloads
Time and space limitations can be specified, and proven, in exactly the same way as functionality. Proofs of time bounds, both implementation-independent and real-time, and of space requirements, both worst-case and average-case, are given in complete detail.
Unable to display preview. Download preview PDF.