Exploiting specifications to improve program performance /
Abstract: "Many approaches to programming emphasize the use of interfaces. The basic idea is to decompose programs into modules and to specify how each module's interface behaves. This makes it easier to reason about programs because one can rely on a module's specification rather t...
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
Massachusetts Institute of Technology. Laboratory for Computer Science,
c1994
|
| Series: | Technical report (Massachusetts Institute of Technology. Laboratory for Computer Science) ;
MIT/LCS/TR-598 |
| Subjects: |