Toward reliable modular programs
Software is being applied in an ever-increasing number of areas. Computer programs and systems are becoming more complex and consisting of more delicately interconnected components. Errors surfacing in programs are still a conspicuous and costly problem. It's about time we employ some technique...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
1995
|
| Online Access: | https://thesis.library.caltech.edu/4114/1/Leino_krm_1995.pdf Leino, K. Rustan M. (1995) Toward reliable modular programs. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ynt2-nn65. https://resolver.caltech.edu/CaltechETD:etd-10162007-111256 <https://resolver.caltech.edu/CaltechETD:etd-10162007-111256> |
Internet
https://thesis.library.caltech.edu/4114/1/Leino_krm_1995.pdfLeino, K. Rustan M. (1995) Toward reliable modular programs. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ynt2-nn65. https://resolver.caltech.edu/CaltechETD:etd-10162007-111256 <https://resolver.caltech.edu/CaltechETD:etd-10162007-111256>