Exploiting Specifications to Improve Program Performance
| dc.contributor.author | Vandevoorde, Mark T. | en_US |
| dc.date.accessioned | 2023-03-29T15:21:38Z | |
| dc.date.available | 2023-03-29T15:21:38Z | |
| dc.date.issued | 1994-02 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149759 | |
| dc.description.abstract | Although programmers benefit from interface specifications when reasoning about programs, existing compilers do not. In this thesis, I discuss how to incorporate specifications into a programming language to improve performance. I use specifications in | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-598 | |
| dc.title | Exploiting Specifications to Improve Program Performance | en_US |
