Formalization of Time and Space |
| |
| Authors: | Eric C. R. Hehner |
| |
| Affiliation: | (1) Department of Computer Science, University of Toronto, Toronto, Canada, CA |
| |
| Abstract: | 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.
Received May 1997 / Accepted in revised form July 1998 |
| |
| Keywords: | : Formal methods Time bounds Real-time programming Space bounds Average space |
| 本文献已被 SpringerLink 等数据库收录！ |
|
